Bounded Reachability Problems Are Decidable in FIFO Machines.

Benedikt Bollig, Alain Finkel, Amrita Suresh

Browse the full CONCUR paper archive.