Similar Items: Bounded Reachability Problems are Decidable in FIFO Machines
- Verification of Flat FIFO Systems
- Petri Net Reachability Graphs: Decidability Status of First Order Properties
- Decidability Results for the Boundedness Problem
- Decidability Problems for Actor Systems
- Vector Addition System Reversible Reachability Problem
- Reachability Problem for Weak Multi-Pushdown Automata