23 citations · 85 across the 23 of their papers we have counts for
1 paper · 2 filters
Benedikt Bollig, Alain Finkel, Amrita Suresh
The undecidability of basic decision problems for general FIFO machines such as reachability and unboundedness is well-known. In this paper, we provide an underapproximation for th…