Semantic domains for combining probability and non-determinism (2005)

by R Tix, K Keimel, G D Plotkin
Venue:In Proc