Probabilistic event structures and domains (2004)

by D Varacca, H Völzer, G Winskel
Venue:In CONCUR 04, volume 3170 of LNCS