next up previous contents
Next: Easter Term 2001: Part Up: Lent Term 2001: Part Previous: Security

Topics in Concurrency

Lecturer: Professor G. Winskel (gw104@cl.cam.ac.uk)

No. of lectures: 12

Prerequisite courses: Semantics of Programming Languages


Aims


The aim of this course is to introduce fundamental concepts and techniques in the theory of concurrent processes. It will provide languages, models, logics and methods to formalise and reason about concurrent systems.


Lectures

Objectives


At the end of the course students should


Recommended books


Comprehensive notes will be provided.


Further reading:


Milner, R., (1989). Communication and Concurrency. Prentice-Hall.
Milner, R., (1999). Communicating and Mobile Systems: the Pi-Calculus. Cambridge University Press.
Winskel, G., (1993). The Formal Semantics of Programming Languages, an Introduction. MIT Press.


next up previous contents
Next: Easter Term 2001: Part Up: Lent Term 2001: Part Previous: Security
Christine Northeast
Wed Sep 20 15:13:44 BST 2000