Pi-Calculus Course Home Page

This page will be used to give additional information and references for the course Part II Models of Concurrent Computation.

Text Book

The course is based on the following book.

Robin Milner
Communicating and Mobile Systems:
The Pi-Calculus

Available from Amazon