A BRICS Mini-Course
November 30, December 2, 7 and 9, 1998
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.