På svenska

Calculi of Concurrency

Recommended for
IDA and ECSEL students with basic background in discrete math.

The course was last given
New course.

Goals
The aim of the course is to study basic principles of concurrent and communicating systems with focus on CCS (Calculus of Communicating Systems). We also discuss various techniques (e.g. bisimulation, model checking) for specifying and verifying  properties of concurrent systems. Primitives notions for the modeling of mobile processes (embodied in the pi-calculus) are also surveyed. 

Prerequisites
Selected Notions in the Theory of Computing.

Organization
The course will have a form of lectures, and exercises using available tools (e.g. the Concurrency workbench).

Contents
Modeling of concurrent communicating systems and automatic verification of the models. Reactive sequential processes. Concurrent communicating systems. Calculus of Communicating Systems (CCS). Observational equivalence. Model checking with the mu-calculus.  An introduction to the pi-calculus. Concurrency Research : a Perspective.

Literature
R. Milner. Communicating and Mobile Systems: the Pi-Calculus. Cambridge University Press, May 1999. 

In addition, the following material will be used in the course:
R. Cleaveland and S. Sims. The Concurrency Workbench of North Carolina: User's Manual, version 1.11, 1998. 
Additional articles (to be distributed). 

Teachers
Jan Maluszynski, Ulf Nilsson.

Examiner
Jan Maluszynski/ Ulf Nilsson.

Schedule
Spring 2000. (Tuesdays 10-12 starting 4 April.)

Examination
Two batches of homework and participation in the presentation of the solutions.

Credit
4 credits.

Comments
Advanced ECSEL Course. 
For latest information see: http://www.ida.liu.se/~ulfni/conc/