×
+ All Categories
Log in
English
Français
Español
Deutsch
The top documents tagged [protocol correctness]
Home >
protocol correctness
Contract-Signing Protocols J. Mitchell CS 2592008.
220 views
1 Protocol composition and refinement patterns February, 2003 Dusko Pavlovic Kestrel Institute.
216 views
Aliasing Control With View-Based TypeState
21 views