×
+ All Categories
Log in
English
Français
Español
Deutsch
The top documents tagged [calculus milner]
Home >
calculus milner
Course on Probabilistic Methods in Concurrency (Concurrent Languages for Probabilistic Asynchronous Communication) Lecture 1 The pi-calculus and the asynchronous.
220 views
1 A Calculus for Cryptographic Protocols Andy Gordon, Microsoft Research Theory Mini-CourseTheory Mini-Course, Michaelmas 2001 University of Cambridge.
214 views
PML: Toward a High-Level Formal Language for Biological Systems Bor-Yuh Evan Chang and Manu Sridharan July 24, 2003.
213 views