Semantic Domains for Combining Probability and NonDeterminism (0)

by R Tix, K Keimel, G D Plotkin
Venue:Electronic Notes in Theoretical Computer Science