This page last modified: "17.05.07"
This module is not being taught any more. Material here only for reference.
Lecture Notes: provide a summary of the slides in presented in lecture; however, there will be more informal explanations and ongoing examples used in the lectures which are not covered in these notes.
Seminar sheets with solutions: Seminar 1, Seminar 2, Seminar 3 and Seminar 4.
New: a paper on communication protocols and the Concurrency workbench
Read an interesting Interview with Robin Milner, the designer of CCS.
Questions? Email me, or come to my office hours, Tuesdays and Thursdays 3:30pm to 4:30pm.