Event Structure Semantics for CCS and Related Languages

  • Glynn Winskel

Abstract

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.

Author Biography

Glynn Winskel
Published
2002-04-01
How to Cite
Winskel, G. (2002). Event Structure Semantics for CCS and Related Languages. DAIMI Report Series, 12(159). https://doi.org/10.7146/dpb.v12i159.6812