Communicating and mobile systems : - Milner, Robin (Cambridge University Press, 1999)