F van Breugel - International Colloquium on Automata, Languages …, 1994 - Springer
In the field of semantics of programming languages, various mathematical structures are
used nowadays. Since the late sixties, complete lattices and complete partial orders play a …