Nondeterminism and Probabilistic Choice: Obeying the Laws (2000)

by Michael Mislove
Venue:In Proc. 11th CONCUR, volume 1877 of LNCS