Sciweavers

CONCUR
1997
Springer
14 years 3 months ago
Causal Ambiguity and Partial Orders in Event Structures
Eventstructuremodelsoftenhavesomeconstraintwhichensuresthatforeachsystemrunitisclearwhatarethecausalpredecessorsofanevent(i.e. there is no causal ambiguity). In this contribution w...
Rom Langerak, Ed Brinksma, Joost-Pieter Katoen