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
Nancy Durgin‚ John C. Mitchell and Dusko Pavlovic