A compositional protocol verification using relativized bisimulation (1992)

by K G Larsen, R Milner
Venue:Information and Computation