de Pol, “Checking verifications of protocols and distributed systems by computer (1998)

by J F Groote, F Monin, J C van
Venue:in Proc. 9th Conference on Concurrency Theory, Springer, LNCS 1466