Mislove, Nondeterminism and Probabilistic Choice: Obeying the Laws (2000)

by M W
Venue:Proc. CONCUR 2000 (ed. C. Palamidessi), LNCS