1. Lecture Notes in Computer Science;M. Abadi,1998
2. Abadi, M., Fournet, C.: Mobile values, new names, and secure communication. In: Proc. of the 28th ACM Symposium on Principles of Programming Languages (POPL 2001), pp. 104–115. ACM Press, New York (2001)
3. Abadi, M., Fournet, C., Gonthier, G.: Secure implementation of channel abstractions. Information and Computation 174(1), 37–83 (2002)
4. Amadio, R.M., Castellani, I., Sangiorgi, D.: On bisimulations for the asynchronous pi-calculus. Theor. Comput. Sci. 195(2), 291–324 (1998)
5. Boudol, G.: Asynchrony and the π-calculus. Research Report 1702, INRIA (1992), Available from http://www-sop.inria.fr/mimosa/personnel/Gerard.Boudol.html