School of Electronics, Electrical Engineering and Computer Science

ModuleInformation

Course Contents

Concurrent Programming Abstraction and Java Threads, the Mutual Exclusion Problem, Semaphores, Monitors, Modelling Process using FSP, Modelling Concurrency using FSP, Implementing FSP Models in Java, Deadlock, Safety and Liveness Properties.

Supplementary Notes

None

Learning Outcomes

To understand the problems that are specific to concurrent programs and the means by which such problems can be avoided or overcome.

Skills

To model and to reason rigorously about the properties of concurrent programs; to construct using FSP, and analyse, using LTSA, a formal model of a concurrent system and to implement the model in Java.