Causal ambiguity and partial orders in event structures

Share/Save/Bookmark

Langerak, Rom and Brinksma, Ed and Katoen, Joost-Pieter (1997) Causal ambiguity and partial orders in event structures. [Report]

open access
[img]
Preview
PDF
321kB
Abstract:Event structure models often have some constraint which ensures that for each
system run it is clear what are the causal predecessors of an event (i.e. there is no causal ambiguity). In this contribution we study what happens if we remove
such constraints. We define five different partial order semantics that are intentional in the sense that they refer to syntactic aspects of the model. We also define an observational partial order semantics, that derives a partial order from just the event traces. It appears that this corresponds to the so-called early intentional semantics; the other intentional semantics cannot be observationally characterized. We study the equivalences induced by the different partial order definitions, and their interrelations.
Item Type:Report
Copyright:© 1997 CTIT
Faculty:
Electrical Engineering, Mathematics and Computer Science (EEMCS)
Research Group:
Link to this item:http://purl.utwente.nl/publications/18595
Export this item as:BibTeX
EndNote
HTML Citation
Reference Manager

 

Repository Staff Only: item control page

Metis ID: 119116