Similar Items: Non-Deterministic Functions as Non-Deterministic Processes (Extended Version)
- Non-Deterministic Kleene Coalgebras
- Computing the Width of Non-deterministic Automata
- Off-line test selection with test purposes for non-deterministic timed automata
- History-deterministic Timed Automata
- Normalizing the Taylor expansion of non-deterministic {lambda}-terms, via parallel reduction of resource vectors
- The Wadge Hierarchy of Deterministic Tree Languages