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
Communicating and Mobile Systems: The Pi-Calculus, Robin Milner,
Cambridge University Press, 1999.