×
Log in
Upload File
Most Popular
Study
Business
Design
Technology
Travel
Explore all categories
The top documents tagged [protocol correctness]
Contract-Signing Protocols J. Mitchell CS 2592008
224 views
1 Protocol composition and refinement patterns February, 2003 Dusko Pavlovic Kestrel Institute
217 views
Aliasing Control With View-Based TypeState
24 views