Similar Items: Bisimilarity in fresh-register automata
- History-Register Automata
- Determinisability of register and timed automata
- Computing Probabilistic Bisimilarity Distances for Probabilistic Automata
- Game Characterization of Probabilistic Bisimilarity, and Applications to Pushdown Automata
- Alternating register automata on finite words and trees
- Register Automata with Extrema Constraints, and an Application to Two-Variable Logic