Proof-Checking Protocols using Bisimulations (1999)

by Christine Röckl, Javier Esparza
Venue:IN PROC. CONCUR’99, LNCS 1664