Sciweavers

CONCUR
2003
Springer

Bundle Event Structures and CCSP

13 years 8 months ago
Bundle Event Structures and CCSP
We investigate which event structures can be denoted by means of closed CCS ∪ CSP expressions. Working up to isomorphism we find that • all denotable event structures are bundle event structures, • upon adding an infinitary parallel composition all bundle event structures are denotable, • without it every finite bundle event structure can be denoted, • as well as every countable prime event structure with binary conflict. Up to hereditary history preserving bisimulation equivalence finitary conflict can be expressed in terms of binary conflict. In this setting all countable stable event structures are denotable.
Rob J. van Glabbeek, Frits W. Vaandrager
Added 06 Jul 2010
Updated 06 Jul 2010
Type Conference
Year 2003
Where CONCUR
Authors Rob J. van Glabbeek, Frits W. Vaandrager
Comments (0)