Similar Items: Higher-dimensional automata modeling shared-variable systems
- Kleene Theorem for Higher-Dimensional Automata
- Higher-Dimensional Timed and Hybrid Automata
- Avoiding Shared Clocks in Networks of Timed Automata
- Globular: an online proof assistant for higher-dimensional rewriting
- Register Automata with Extrema Constraints, and an Application to Two-Variable Logic
- A Constructive Framework for Nondeterministic Automata via Time-Shared, Depth-Unrolled Feedforward Networks