Communication and Concurrent Systems

A course by Lutz Schröder at the Universität Bremen 2005.

This is a course on abstractions and formalisms for the formal treatment of concurrent systems. The first part of the course treats Milner's Calculus of Communicating Systems (CCS), largely following the book

Robin Milner: Communication and Concurrency, Prentice Hall, 1989

Course Material

Slides on the transition rules of CCS
Problem Sheet 1
Slides on strong bisimulation
Slides on syntactic sorts and equational laws for restriction
Problem Sheet 2
Slides on the congruence theorem for recursive definitions
Problem Sheet 3
Slides on weak bisimulation
Slides on Hennessy-Milner Logic
Slides on the scheduler example

Author: Dr. Lutz Schröder

wg bkb

Last updated: February 2, 2006