Abstract

<p>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.</p><p>Processes are denoted by labelled event structures. Event structures represent concurrency rather directly as in net theory.</p><p>The semantics does not simulate concurrency by non-deterministic interleaving.</p>

Full Text
Paper version not known

Talk to us

Join us for a 30 min session where you can share your feedback and ask us any queries you have

Schedule a call