1. Lecture Notes in Computer Science;J. Aranda,2007
2. Sangiorgi, D., Walker, D.: The π-calculus: A Theory of Mobile Processes. Cambridge University Press, Cambridge (2001)
3. Hennessy, M.: A Distributed Pi-Calculus, 1st edn. Cambridge University Press, Cambridge (2007)
4. Hym, S., Hennessy, M.: Adding Recursion to Dpi. Theoretical Computer Science 373(3), 182–212 (2007)
5. Francalanza, A., Hennessy, M.: Location and Link Failure in a Distributed π-calculus. Sussex Technical Report 2005:01, University of Sussex (January 2005)