ISSN:
1572-9125
Keywords:
68Q55
;
68Q10
;
D.1.3
;
D.3.1
;
D.3.3
;
F.1.2
;
F.3.2
;
concurrency
;
operational semantics
;
denotational semantics
;
transition systems
;
process creation
;
synchronization
;
metric spaces
;
domain equations
;
contracting functions
;
global non-determinacy
Source:
Springer Online Journal Archives 1860-2000
Topics:
Mathematics
Notes:
Abstract An overview is given of work we have done in recent years on the semantics of concurrency, concentrating on semantic models built on metric structures. Three contrasting themes are discussed, viz. (i) uniform or schematic versus nonuniform or interpreted languages; (ii) operational versus denotational semantics, and (iii) linear time versus branching time models. The operational models are based on Plotkin's transition systems. Language constructs which receive particular attention are recursion and merge, synchronization and global nondeterminacy, process creation, and communication with value passing. Various semantic equivalence results are established. Both in the definitions and in the derivation of these equivalences, essential use is made of Banach's theorem for contracting functions.
Type of Medium:
Electronic Resource
URL:
http://dx.doi.org/10.1007/BF01941131
Permalink
