The mathematical framework of Stone duality is used to synthesize 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 behaviour developed by Milner, Hennessy
based on operational semantics.
Logics of programs.
Stone duality provides a junction between semantics (spaces of points = denotations of
computational processes) and logics (lattices of of processes). Moreover, the