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, 129:1-104, 2005. [doi]

Abstract

Abstract is missing.