Proof-checking protocols using bisimulations (1999)

by C Röckl, J Esparza
Venue:In Proc. CONCUR’99, LNCS 1664