Bundle Event Structures and CCSP
R.J. van Glabbeek
and F.W. Vaandrager.
Bundle Event Structures and CCSP.
In R. Amadio and D. Lugiez, editors.
Proceedings 14th International Conference on Concurrency Theory
(CONCUR 2003), Marseille, France, September 3-5, 2003.
LNCS 2761, pages 57-71. Springer-Verlag, 2003.
We investigate which event structures can be denoted by means of closed
CCS + CSP expressions. Working up to isomorphism we find that
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.
all denotable event structures are bundle event structures,
upon adding an infinitary parallel composition all bundle event structures
without it every finite bundle event structure can be denoted,
as well as every countable prime event structure with binary conflict.