Robin Milner: Communicating and Mobile Systems: The Pi-Calculus
Completion requirements
Click on Robin Milner: Communicating and Mobile Systems: The Pi-Calculus to open the resource.