Causal Ambiguity and Partial Orders in Event Structures.

Rom Langerak, Ed Brinksma, Joost-Pieter Katoen

Browse the full CONCUR paper archive.