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