1. Abadi, M., Fournet, C.: Mobile Values, New Names, and Secure Communication. In: Principles of Programming Languages, pp. 104–115. ACM, New York (2001)
2. Abadi, M., Fournet, C., Georges, G.: Secure Implementation of Channel Abstractions. In: Logic in Computer Science, pp. 105–116. IEEE, Los Alamitos (1998)
3. Abadi, M., Gordon, A.: A Calculus for Cryptographic Protocols: The Spi Calculus. Information and Computation 148(1), 1–70 (1999)
4. Baldamus, M., Parrow, J., Victor, B.: Translating Spi Calculus to π-Calculus Preserving May-Tests. In: Logic in Computer Science, pp. 22–31. IEEE, Los Alamitos (2004)
5. Baldamus, M., Parrow, J., Victor, B.: A Fully Abstract Encoding of the π-Calculus with Data Terms. Technical Report 2005-004, Department of Information Technology, Uppsala University (February 2005)