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


Topics in Concurrency

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

No. of lectures: 16

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 2003: Part Up: Lent Term 2003: Part Previous: Security   Contents
Christine Northeast
Wed Sep 4 14:43:05 BST 2002