Denotational, Causal, and Operational Determinism in Event Structures


Share/Save/Bookmark

Rensink, A. (1996) Denotational, Causal, and Operational Determinism in Event Structures. In: Trees in Algebra and Programming (CAAP).

[img]
Preview
PDF
216Kb
Abstract:Determinism of labelled transition systems and trees is a concept of theoretical and practical importance. 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.
Item Type:Conference or Workshop Item
Faculty:
Electrical Engineering, Mathematics and Computer Science (EEMCS)
Research Group:
Link to this item:http://purl.utwente.nl/publications/66661
Official URL:http://dx.doi.org/10.1007/3-540-61064-2_43
Export this item as:BibTeX
EndNote
HTML Citation
Reference Manager

 

Repository Staff Only: item control page