Similar Items: Interaction and Depth against Nondeterminism in Proof Search
- A Hierarchy of Nondeterminism
- Mixed powerdomains for probability and nondeterminism
- Step-Indexed Relational Reasoning for Countable Nondeterminism
- Extensional and Intensional Semantics of Bounded and Unbounded Nondeterminism
- The Theory of Traces for Systems with Nondeterminism, Probability, and Termination
- Synthesis of Strategies Using the Hoare Logic of Angelic and Demonic Nondeterminism