1. A theory of bisimulation for the π-calculus;Sangiorgi;Acta Informatica,1996
2. A calculus of mobile processes, part I/II;Milner;Information and Computation,1992
3. An introduction to the π-calculus;Parrow,2001
4. The π-Calculus: A Theory of Mobile Processes;Sangiorgi,2001
5. B. Victor, A verification tool for the polyadic π-calculus, Licentiate Thesis, Department of Computer Systems, Uppsala University, Sweden, available as report DoCS 94/50 (May 1994). URL http://www.docs.uu.se/~victor/tr/docs-tr-94-50.html