A modular approach to protocol verification using process algebra (1990)

by C P J Koymans, J C Mulder
Venue:In: Applications of Process Algebra, J.C.M. Baeten, ed., Cambridge Tracts in Theoretical Computer Science 17