Similar Items: Synchronizability of Communicating Finite State Machines is not Decidable
- On the decidability and complexity of Metric Temporal Logic over finite words
- Decidability of Two Truly Concurrent Equivalences for Finite Bounded Petri Nets
- Decidability of Querying First-Order Theories via Countermodels of Finite Width
- Bounded Reachability Problems are Decidable in FIFO Machines
- Deciding Conditional Termination
- Decidability for Sturmian words