Similar Items: On Reachability for Unidirectional Channel Systems Extended with Regular Tests
- Reachability Analysis of Communicating Pushdown Systems
- Vector Addition System Reversible Reachability Problem
- Reachability Switching Games
- The Complexity of Reachability in Affine Vector Addition Systems with States
- Symbolic Backwards-Reachability Analysis for Higher-Order Pushdown Systems
- Reachability under Contextual Locking