Open AccessEvent Structure Semantics for CCS and Related Languages
Author(s) -
Glynn Winskel
Publication year - 2002
Publication title -
daimi pb
Language(s) - English
Resource type - Journals
eISSN - 2245-9316
pISSN - 0105-8517
DOI - 10.7146/dpb.v12i159.6812
Subject(s) - concurrency , programming language , denotational semantics , semantics (computer science) , computer science , interleaving , event (particle physics) , theoretical computer science , event structure , operational semantics , mathematics , operating system , statistics , physics , quantum mechanics
We give denotational semantics to a wide range of parallel programming languages based on the ideas of Milner's CCS, that processes communicate by events of mutual synchronisation. Processes are denoted by labelled event structures. Event structures represent concurrency rather directly as in net theory. The semantics does not simulate concurrency by non-deterministic interleaving.