Verifying a Protocol using Relativized Bisimulation (1987)

by K G Larsen, R Milner
Venue:LNCS