A complete protocol verification using relativized bisumulation (1986)

by K G Larsen, R Milner
Venue:Proc. 14th ICALP, Karlsruhe. LNCS 267