Welcome

Welcome to this module on 'Theory of Distributed Systems'. We will be focussing on two languages in particular (CCS and the pi-calculus), but will also discuss other approaches, both old and new. The course timetable and schedule can be downloaded here:

• Course Schedule (including timetable information)

Reading

We do not recommend a specific book that covers all the topics on the module. Instead, a range of online tutorials and related material is included in the resources section of MOLE.

Assessment

The module is assessed entirely by examination. An optional mock exam will be available later in the semester for those of you who want feedback before ttaking the exam itself.

Other

We will continue to update this website throughout the semester..