Pre-requisites: Strong grasp of mathematical logic
Aims/Description: The aim of this module is to set out a strong theoretical basis for the analysis and design of concurrent, distributed and mobile systems. We will use the process calculi to model and reason about complex systems, studying both its formal semantics and its many uses, via a number of examples. Students should be aware that there are limited places available on this course.
Restrictions on availability: Must have strong grasp of mathematical logic.
Notes: This module contributes to further exemption from British Computer Society (BCS) exams leading to Chartered Engineering status and grants a higher accreditation.
Information on the department responsible for this unit (Computer Science):
URLs used in these pages are subject to year-on-year change. For this reason we recommend that you do not bookmark these pages or set them as favourites.
Teaching methods and assessment displayed on this page are indicative for 2021-22. Students will be informed by the academic department of any changes made necessary by the ongoing pandemic.