A Complete Protocol Veri cation Using Relativized Bisimulation (1986)

by K G Larsen, R Milner