Similar Items: Mixed powerdomains for probability and nondeterminism
- The Theory of Traces for Systems with Nondeterminism, Probability, and Termination
- QRB-Domains and the Probabilistic Powerdomain
- A Hierarchy of Nondeterminism
- Step-Indexed Relational Reasoning for Countable Nondeterminism
- Interaction and Depth against Nondeterminism in Proof Search
- Extensional and Intensional Semantics of Bounded and Unbounded Nondeterminism