Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
The mathematical framework of Stone duality is used to synthesize a number of hitherto separate developments in Theoretical Computer Science
 

Summary: ###### ########
########## ## #########
######## ####### ## ####### ### ##########
### ####### ####
###### ### ###
#######
## ###### ##
######## ### ####
###### ## #### ### ####### #####
###### ###### ## ####### ####

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

  

Source: Abramsky, Samson - Computing Laboratory, University of Oxford

 

Collections: Computer Technologies and Information Sciences