Summary: Domain Theory In Logical Form
Samson Abramsky
Department of Computing
Imperial College of Science and Technology
180 Queen's Gate
London SW7 2BZ
England
Published in Annals of Pure and Applied Logic 51 (1991) 1­77
September 2, 1988
Abstract
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 et al. based on operational semantics.
· Logics of programs.
Stone duality provides a junction between semantics (spaces of points = denota-
tions of computational processes) and logics (lattices of properties of processes).
Moreover, the underlying logic is geometric, which can be computationally in-

Source: Abramsky, Samson - Computing Laboratory, University of Oxford
Oxford, University of - Computing Laboratory, Quantitative Analysis and Verification Group

Collections: Computer Technologies and Information Sciences