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

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