The following pages link to (Q4484483):
Displaying 19 items.
- Game-theoretic simulation checking tool (Q764005) (← links)
- Multi-buffer simulations: decidability and complexity (Q1784963) (← links)
- Capacitated automata and systems (Q2280332) (← links)
- Matching in security-by-contract for mobile code (Q2390033) (← links)
- Büchi Automata Can Have Smaller Quotients (Q3012925) (← links)
- Advanced Ramsey-Based Büchi Automata Inclusion Testing (Q3090830) (← links)
- THE CATEGORY OF SIMULATIONS FOR WEIGHTED TREE AUTOMATA (Q3224952) (← links)
- Width of Non-deterministic Automata (Q3304146) (← links)
- (Q3838838) (← links)
- (Q3970886) (← links)
- (Q4413833) (← links)
- (Q4434874) (← links)
- Topological Characterisation of Multi-Buffer Simulation (Q4989168) (← links)
- Multi-buffer simulations for trace language inclusion (Q5015280) (← links)
- Büchi Good-for-Games Automata Are Efficiently Recognizable (Q5090951) (← links)
- (Q5207047) (← links)
- A general architecture of oritatami systems for simulating arbitrary finite automata (Q5918272) (← links)
- Complementing Büchi Automata with Ranker (Q6487336) (← links)
- Simulations in rank-based Büchi automata complementation (Q6536321) (← links)