Similar Items: A Hierarchy of Nondeterminism
- Mixed powerdomains for probability and 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
- The Theory of Traces for Systems with Nondeterminism, Probability, and Termination
- A Bit of Nondeterminism Makes Pushdown Automata Expressive and Succinct