BRICS · Contents · Programme

Which pi-Calculus are we Talking About?

A BRICS Mini-Course
November 30, December 2, 7 and 9, 1998

Lectures by
Paola Quaglia
BRICS


Course Contents

The pi-calculus is considered to be the prototypical calculus for the description of distributed systems with a dynamically changing interconnection topology. It was introduced by R. Milner, J. Parrow, and D. Walker in '89, and since proliferated in a family of calculi slightly departing from the original in their view about intra action.

This will be a self-contained course, meant to be a very basic introduction to pi-calculus and pi-calculi. We will present late and barbed semantics, and touch on polyadicity, asynchrony, and their encodings.

Programme

Monday November 30, 1998, 15:15-17:00 in Auditorium D4

Wednesday December 2, 1998, 15:15-17:00 in Meeting room R2

Monday December 7, 1998, 15:15-17:00 in Auditorium D4

Wednesday December 9, 1998, 15:15-17:00 in Auditorium D4