A distributed pi-calculus - Hennessy, Matthew (Cambridge University Press, 2007)