Similar Items: Reachability Problem for Weak Multi-Pushdown Automata
- Reachability Analysis of Communicating Pushdown Systems
- Model-Checking of Ordered Multi-Pushdown Automata
- Edit Distance for Pushdown Automata
- Symbolic Backwards-Reachability Analysis for Higher-Order Pushdown Systems
- Model Checking Probabilistic Pushdown Automata
- Good-for-games $omega$-Pushdown Automata