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