Event Structure Semantics for CCS and Related Languages

Forfattere

  • Glynn Winskel

DOI:

https://doi.org/10.7146/dpb.v12i159.6812

Resumé

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.

Forfatterbiografi

Glynn Winskel

Downloads

Publiceret

2002-04-01

Citation/Eksport

Winskel, G. (2002). Event Structure Semantics for CCS and Related Languages. DAIMI Report Series, 12(159). https://doi.org/10.7146/dpb.v12i159.6812

Nummer

Nr. 159 (1983): PB-159 Event Structure Semantics for CCS and Related Languages

Sektion

Articles

Licens

Creative Commons License

Articles published in DAIMI PB are licensed under a Creative Commons Attribution-NonCommercial-NoDerivs 3.0 Unported License.