2000): Nondeterminism and probabilistic choice: Obeying the laws (0)

by M W Mislove
Venue:In Proc. of CONCUR’00, LNCS 1877