R. Milner. The -calculus. Undergraduate lecture notes, Cambridge University, 1995. Home/Search Document Not in Database Context Related Articles Check |
This paper is cited by the following papers:
Secrecy by Typing in Security Protocols - Abadi (1998) (144 citations) (Correct)
A Calculus for Cryptographic Protocols - The Spi Calculus - Abadi, Gordon (1998) (343 citations) (Correct)
Mobile Ambients -Annex- - Cardelli (1997) (2 citations) (Correct)
Equational Properties of Mobile Ambients - Gordon, Cardelli (1999) (35 citations) (Correct)
A Calculus for Cryptographic Protocols - The Spi Calculus - Abadi, Gordon (1997) (343 citations) (Correct)
Equational Properties of Mobile Ambients - Gordon, Cardelli (1999) (35 citations) (Correct)
Reasoning about Cryptographic Protocols in the Spi Calculus - Abadi, Gordon (1997) (37 citations) (Correct)
Secrecy by Typing in Security Protocols - Abadi (1998) (145 citations) (Correct)
Equational Properties of Mobile Ambients - Gordon, Cardelli (1999) (35 citations) (Correct)
A Calculus for Cryptographic Protocols - The Spi Calculus - Abadi, Gordon (1998) (353 citations) Self-citation (Calculus) (Correct)
A Calculus for Cryptographic Protocols - The Spi Calculus - Abadi, Gordon (1996) (353 citations) Self-citation (Calculus) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC