Davide Sangiorgi David Walker The Pi-Calculus - a theory of mobile processes. I-XII, 1-580 Cambridge University Press 2001 978-0-521-78177-0