Proof-Checking Protocols Using Bisimulations.

Christine Rckl, Javier Esparza

Browse the full CONCUR paper archive.