Developing and verifying protocols in CSP (1993)

by A W Roscoe
Venue:In Protocol Verification Workshop, Mierlo, The