Verification of Flat FIFO Systems.

Alain Finkel, M. Praveen

Browse the full CONCUR paper archive.