The pí-calculus : a theory of mobile processes - Sangiorgi, Davide, 1964- (Cambridge University Press, 2001)