Verifying a Protocol Using Relativized Bisimulation.

Kim Guldstrand Larsen, Robin Milner

Browse the full ICALP paper archive.