Comunicating and mobile systems: the PI-calculus - Milner, Robin (Cambridge University Press, 1999)