Similar Items: Reachability Analysis of Communicating Pushdown Systems
- Symbolic Backwards-Reachability Analysis for Higher-Order Pushdown Systems
- Reachability Problem for Weak Multi-Pushdown Automata
- Reachability Analysis of Innermost Rewriting
- Weighted Pushdown Systems with Indexed Weight Domains
- On the Expressive Power of Higher-Order Pushdown Systems
- Module checking of pushdown multi-agent systems