A calculus for protocol specification and validation (1983)

by A Aggarwal, R P Kurshan
Venue:Proc. III−rd Workshop on Protocol Specification, Testing, and Verification