Probabilistic event structures and domains (2004)

by D Varacca, H Völzer, G Winskel
Venue:Proc. of CONCUR’04, LNCS 3170