Bounded Reachability Problems are Decidable in FIFO Machines

Benedikt Bollig, Alain Finkel, Amrita Suresh. Bounded Reachability Problems are Decidable in FIFO Machines. Logical Methods in Computer Science, 18(1), 2022. [doi]

Abstract

Abstract is missing.