J. Borgstrm and U. Nestmann. On bisimulations for the spi calculus. In Proc. 9th Int. Conf. Algebraic Methodology And Software Technology (AMAST), volume 2422 of Lecture Notes in Computer Science, pages 287--303. Springer, Sept. 2002. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
On Bisimulations for the Spi Calculus - Johannes Borgstrom Epfl (2002) (4 citations) Self-citation (Borgstrom) (Correct)
No context found.
Johannes Borgstrom. On Bisimulations for the Spi-Calculus. Term project, EPFL, Switzerland, July 2001.
On Bisimulations for the Spi Calculus - Johannes Borgstrom And (2002) (4 citations) Self-citation (Borgstrom Nestmann) (Correct)
No context found.
J. Borgstrom and U. Nestmann. On Bisimulation in the Spi Calculus. Draft full version, available from http://lamp.epfl.ch/uwe/doc/spi/, 2002.
Complete Lax Logical Relations for Cryptographic.. - Goubault-Larrecq.. (2004) (Correct)
No context found.
J. Borgstrm and U. Nestmann. On bisimulations for the spi calculus. In Proc. 9th Int. Conf. Algebraic Methodology And Software Technology (AMAST), volume 2422 of Lecture Notes in Computer Science, pages 287--303. Springer, Sept. 2002.
Complete Lax Logical Relations for Cryptographic Lambda-Calculi - Goubault-Larrecq (2004) (Correct)
No context found.
J. Borgstrm and U. Nestmann. On bisimulations for the spi calculus. In Proc. AMAST'02, volume 2422 of LNCS. Springer, 2002.
Complete Lax Logical Relations for Cryptographic.. - Goubault-Larrecq.. (2004) (Correct)
No context found.
J. Borgstrm and U. Nestmann. On bisimulations for the spi calculus. In Proc. 9th Int. Conf. Algebraic Methodology And Software Technology (AMAST), volume 2422 of Lecture Notes in Computer Science, pages 287--303. Springer, Sept. 2002.
A Bisimulation for Dynamic Sealing - Sumii, Pierce (2004) (2 citations) (Correct)
No context found.
Johannes Borgstrom and Uwe Nestmann. On bisimulations for the spi calculus. In 9th International Conference on Algebraic Methodology and Software Technology, volume 2422 of Lecture Notes in Computer Science, pages 287--303. SpringerVerlag, 2002.
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