Models of Concurrent Computation

Lecturer s : Philippa Gardner (homepage) , Nobuko Yoshida (homepage)
For course notes click on the lecturers homepages.

To describe process models for specifying and verifying concurrent systems.

In particular, to focus on CCS (the calculus for concurrent systems) and the pi-calculus, which provide communication via handshake and message passing.

CCS: handshake communication, operators and reduction congruence, case studies, Hennessey-Milner logic, Concurrency Workbench (software tool) and process equivalence.


Calculi for mobility and its applications: handshake communication and mobility via message passing, the Pi-Calculus, asynchrony, reduction congruence, distributed mobility and applications to Web protocol verifications, security and biological systems.