Concurrent systems are becoming increasingly important, but they are an order of magnitude more complex than sequential systems, and are much harder to understand and program correctly. This course will introduce the phenomena and problems that arise in concurrent systems. It will cover ways of describing and analysing systems using Communicating Sequential Processes (CSP), a language for modelling and reasoning about systems of interacting concurrent components. It will apply the FDR CASE tool to the analysis and verification of such systems. The module aims to give students a working understanding of concurrency, and aproaches to using it correctly.
The notes and resources for this module are available on ULearn. Access to the notes will be given to subscribed students for the Spring semester. If you are not currently subscribed for this module and would like access, please get in touch.
![[Filler]](/images/umiext.jpg)