The π-calculus: a Theory of Mobile Processes (2001)

by Davide Sangiorgi, David Walker