Similar Items: Register Games
- History-Register Automata
- Determinisability of register and timed automata
- Bisimilarity in fresh-register automata
- Alternating register automata on finite words and trees
- Register Automata with Extrema Constraints, and an Application to Two-Variable Logic
- Thin Games with Symmetry and Concurrent Hyland-Ong Games