The Pi-calculus: A Theory of Mobile Processes (2001)

by D Sangiorgi, D Walker
Venue:Nordic Journal on Computing