A compositional protocol veri cation using relativized bisimulation (1992)

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