Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network

  Advanced Search  

Domain Theory In Logical Form Samson Abramsky

Summary: Domain Theory In Logical Form
Samson Abramsky
Department of Computing
Imperial College of Science and Technology
180 Queen's Gate
London SW7 2BZ
Published in Annals of Pure and Applied Logic 51 (1991) 177
September 2, 1988
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