Computer Laboratory > Teaching > Course material 2008–09 > Computer Science Tripos Syllabus and Booklist 2008-2009 > Topics in Concurrency

next up previous contents
Up: Easter Term 2009: Part Previous: E-Commerce   Contents


Topics in Concurrency

Lecturer: Professor G. Winskel

No. of lectures: 12

Prerequisite course: Semantics of Programming Languages (specifically, an idea of operational semantics and how to reason from it)


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 reading


Comprehensive notes will be provided.


Further reading:


* Aceto, L., Ingolfsdottir, A., Larsen, K.G. & Srba, J. (2007). Reactive systems: modelling, specification and verification. Cambridge University Press.
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
Up: Easter Term 2009: Part Previous: E-Commerce   Contents