The PI-calculus: a theory of mobile phone - Sangiorgi, Davide (Cambridge University Press, 2001)