15-312 Foundations of Programming Languages
Lecture 23: Concurrent Processes

In this lecture we expand on the theme of processes we started in the last lecture. The principal addition will be to consider processes to run concurrently, and examine synchronization and communication between them. This leads us first to a calculus similar to CCS and then to the pi-calculus where communication can transmit names.

The material loosely follows Chapter 4 and part of Chapter 5 of the book:

Communicating and Mobile Systems: The Pi-Calculus, Robin Milner, Cambridge University Press, 1999.

[ Home | Schedule | Assignments | Software | Resources ]

Frank Pfenning