PGP Project Viktor Yarmolenko Lewis Mackenzie Paul Cockshott Ewan Borland.
Course on Probabilistic Methods in Concurrency (Concurrent Languages for Probabilistic Asynchronous Communication) Lecture 1 The pi-calculus and the asynchronous.
1 A Calculus for Cryptographic Protocols Andy Gordon, Microsoft Research Theory Mini-CourseTheory Mini-Course, Michaelmas 2001 University of Cambridge.
PML: Toward a High-Level Formal Language for Biological Systems Bor-Yuh Evan Chang and Manu Sridharan July 24, 2003.