Proof-checking protocols using bisimulations (1999)

by C Rockl, J Esparza
Venue:In: Proc. 10th Conference on Concurrency Theory, LNCS 1664