A complete protocol verification using relativized bisimulation (1986)

by K G Larsen, R Milner