Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
Some basic topics in the theory of concurrency are studied from the point of view of denotational semantics, and particularly the \Domain theory in logical form" de-
 

Summary: Some basic topics in the theory of concurrency are studied from the point of view
of denotational semantics, and particularly the \Domain theory in logical form" de-
veloped by the author. A domain of synchronization trees is de ned by means of
a recursive domain equation involving the Plotkin powerdomain. The logical coun-
terpart of this domain is described, and shown to be related to it by Stone duality.
The relationship of this domain logic to the standard Hennessy-Milner logic for tran-
sition systems is studied; the domain logic can be seen as a rational reconstruction of
Hennessy-Milner logic from the standpoint of a very general and systematic theory.
Finally, a denotational semantics for SCCS based on the domain of synchronization
trees is given, and proved fully abstract with respect to bisimulation.
########
1
###### ########
########## ## #########
######## ####### ## ######## ########## ### ########
## ###### ##
####### ## ####
########### ### ###########
# ###### ######## ### ############

  

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

 

Collections: Computer Technologies and Information Sciences