Skip to main content

A compositional logic for protocol correctness

Nancy Durgin‚ John C. Mitchell and Dusko Pavlovic

Book Title
Proceedings of CSFW 2001
Editor
Steve Schneider
Pages
241–255
Publisher
IEEE
Year
2001