Veri of communication protocols using abstract interpretation of FIFO queues (2006)

by Tristan Le Gall, Bertrand Jeannet, Thierry Jeron
Venue:In Algebraic Methodology and Software Technology, AMAST '06, volume 4019 of LNCS