1. M. Abadi and A. Gordon. A calculus for cryptographic protocols: the spi calculus. Technical Report 414, Computer Laboratory, University of Cambridge, UK, 1997.
2. U. Engberg and M. Nielsen. A calculus of communicating systems with label-passing. Technical Report DAIMI. PB-208, Computer Science Department, University of Aarhus, Denmark, 1986.
3. R. Milner. The polyadic pi-calculus: a tutorial. In F.L. Bauer, W. Brauer, and H. Schwichtenberg, editors, Logic and Algebra of Specification, pages 203–246. Springer Verlag, 1993.
4. R. Milner, J. Parrow, and D. Walker. A calculus of mobile processes, Parts I and II. Information and Computation, 100: 1–77, 1992.
5. B. Pierce and D. Turner. Pict: a programming language based on the pi calculus. Technical report, Computer Science Department, Indiana University, USA, 1997.