Affordable Access

Denotational, Causal, and Operational Determinism in Event Structures

Institut für Informatik, University of Hildesheim
Publication Date


Determinism is a theoretically and practically important concept in labelled transition systems and trees. We study its generalisation to event structures. It turns out that the result depends on what characterising property of tree determinism one sets out to generalise. We present three distinct notions of event structure determinism, and show that none of them shares all the pleasant properties of the one concept for trees.

There are no comments yet on this publication. Be the first to share your thoughts.