Verification of Flat FIFO Systems

Alain Finkel, M. Praveen. Verification of Flat FIFO Systems. In Wan Fokkink, Rob van Glabbeek, editors, 30th International Conference on Concurrency Theory, CONCUR 2019, August 27-30, 2019, Amsterdam, the Netherlands. Volume 140 of LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2019. [doi]

Possibly Related Publications

The following publications are possibly variants of this publication: