Notes
- 18 / Feb / 2009
- Lectures will start Tuesday, 3th March.
- 15 / May / 2009
Bibliography
- Communicating Sequential Processes, C.A.R. Hoare, Prentice-Hall, 1985.
- Communication and Concurrency, Robin Milner, Prentice-Hall, 1988.
- Communicating and Mobile Systems: The Pi-Calculus, Robin Milner, Cambridge University Press, 1999.
- A calculus for Cryptographic Protocols: the Spi-Calculus. M. Abadi and A. D. Gordon, 1997.
- The polyadic pi-calculus: A tutorial, Robin Milner, 1991.
- Security Protocols: Principles and Calculi, Martin Abadi, 2007.
- Several other references mentioned in the lectures (not mandatory)
Tools
