The Pi-Calculus (2003)

by D Sangiorgi, D Walker