On-the- analysis of systems with unbounded lossy Fifo-channels (0)

by Parosh Aziz Abdulla, Ahmed Bouajjani, Bengt Jonsson
Venue:In Hu and Vardi [HV98