Domain Theory in Logical Form
The mathematical framework of Stone duality is used to synthesise a number of hitherto separate developments in theoretical computer science. Domain theory, the mathematical theory of computation introduced by Scott as a foundation for denotational semantics. The theory of concurrency and systems behavior developed by Milner, Hennesy et al. based on operational semantics. Logics of programs