Causal Ambiguity and Partial Orders in Event Structures

  title={Causal Ambiguity and Partial Orders in Event Structures},
  author={Rom Langerak and Ed Brinksma and Joost-Pieter Katoen},
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 de ne ve di erent partial order semantics that are intentional in the sense that they refer to… CONTINUE READING