Sciweavers

CONCUR
1997
Springer
13 years 9 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