Distributing Probabililty over Nondeterminism (0)

by D Varacca, G Winskel
Venue:MSCS