Hennessy, M. A Distributed Pi-Calculus - Cambridge Cambridge University Press 2007 - xvii, 259p. ISBN: 978-0-521-87330-7