Semantic Domains for Combining Probability and Non-Determinism (2005)

by R Tix, K Keimel, G Plotkin
Venue:Number 129 in Elect. Notes in Theor. Comp. Sci