×
Log in
Upload File
Most Popular
Study
Business
Design
Technology
Travel
Explore all categories
The top documents tagged [process calculus]
Presen sew-35-12(beamer)
443 views
1 Ivan Lanese Computer Science Department University of Pisa (moved to Bologna) Synchronization strategies for global computing models Ph.D. thesis discussion
219 views
1 Ivan Lanese Computer Science Department University of Bologna Italy Error Handling in Service Oriented Computing Joint work with Claudio Guidi, Fabrizio
214 views
Formal Modeling of Concurrent Processes: PI and API Calculi Shahram Rahimi
231 views
Process Calculus and Security 18739A: Foundations of Security and Privacy Anupam Datta Fall 2007-08
217 views
Static Validation of a Voting ProtocolSlide 1 Static Validation of a Voting Protocol Christoffer Rosenkilde Nielsen with Esben Heltoft Andersen and Hanne
223 views
Bilinear Mappings in Formal Cryptography 08.10.11
222 views
Bilinear Mappings in Formal Cryptography
47 views
June 2005 A Plausible Approach to Computer-aided Cryptographic Proofs Shai Halevi
214 views
Dependable Composition of Web Services and Process Calculi
31 views