Axioms for probability and nondeterminism (2003)

by M Mislove, J Ouaknine, J Worrell
Venue:In: Proc. EXPRESS’03, ENTCS 91(3