Axioms for probability and nondeterminism (0)

by M W Mislove, J Ouaknine, J Worrell
Venue:Mathematical Structures in Computer Science