| | |
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
|
