On-the-Fly Analysis of Systems with Unbounded, Lossy FIFO Channels (1998)

by Parosh Aziz Abdulla, Ahmed Bouajjani, Bengt Jonsson
Venue:In CAV'98. LNCS 1427