Semantic Domains for Combining Probability and Non-Determinism

Regina Tix, Klaus Keimel, Gordon D. Plotkin. Semantic Domains for Combining Probability and Non-Determinism. Electronic Notes in Theoretical Computer Science, 222:3-99, 2009. [doi]

Abstract

Abstract is missing.