@inproceedings(abadi98,
 author       = "Mart\'{\i }n Abadi",
 year         = "1998",
 title        = "Protection in Programming-Language Translations",
 booktitle    = "ICALP",
 series       = "LNCS",
 volume       = "1443",
 publisher    = "Springer",
 pages        = "868--883",
 doi          = "10.1007/BFb0055109",
)
@article(AbadiBF07,
 author       = "Mart\'{\i }n Abadi and Bruno Blanchet and C{\'e}dric Fournet",
 year         = "2007",
 title        = "Just fast keying in the pi calculus",
 journal      = "ACM Trans. Inf. Syst. Secur.",
 volume       = "10",
 number       = "3",
 doi          = "10.1145/1266977.1266978",
)
@inproceedings(AbadiF01,
 author       = "Mart\'{\i }n Abadi and C{\'e}dric Fournet",
 year         = "2001",
 title        = "Mobile values, new names, and secure communication",
 booktitle    = "POPL",
 publisher    = "ACM press",
 pages        = "104--115",
 doi          = "10.1145/360204.360213",
)
@article(AbadiFG02,
 author       = "Mart\'{\i }n Abadi and C{\'e}dric Fournet and Georges Gonthier",
 year         = "2002",
 title        = "Secure Implementation of Channel Abstractions",
 journal      = "Inf. Comput.",
 volume       = "174",
 number       = "1",
 pages        = "37--83",
 doi          = "10.1006/inco.2002.3086",
)
@article(AbadiG99,
 author       = "Mart\'{\i }n Abadi and Andrew D. Gordon",
 year         = "1999",
 title        = "A Calculus for Cryptographic Protocols: The spi Calculus",
 journal      = "Inf. Comput.",
 volume       = "148",
 number       = "1",
 pages        = "1--70",
 doi          = "10.1006/inco.1998.2740",
)
@inproceedings(BorealeBM04,
 author       = "Michele Boreale and Maria Grazia Buscemi and Ugo Montanari",
 year         = "2004",
 title        = "D-Fusion: A Distinctive Fusion Calculus",
 booktitle    = "APLAS",
 pages        = "296--310",
 doi          = "10.1007/978-3-540-30477-7\_20",
)
@article(BorealeNP01,
 author       = "Michele Boreale and Rocco {De Nicola} and Rosario Pugliese",
 year         = "2001",
 title        = "Proof Techniques for Cryptographic Processes",
 journal      = "SIAM J. Comput.",
 volume       = "31",
 number       = "3",
 pages        = "947--986",
 doi          = "10.1137/S0097539700377864",
)
@inproceedings(BorealeS98,
 author       = "Michele Boreale and Davide Sangiorgi",
 year         = "1998",
 title        = "Bisimulation in Name-Passing Calculi without Matching",
 booktitle    = "LICS",
 publisher    = "IEEE Computer Society",
 pages        = "165--175",
 doi          = "10.1109/LICS.1998.705653",
)
@article(mik-mscs10,
 author       = "Michele Bugliesi and Riccardo Focardi",
 year         = "2010",
 title        = "Channel abstractions for network security",
 journal      = "Mathematical Structures in Computer Science",
 volume       = "20",
 number       = "1",
 pages        = "3--44",
 doi          = "10.1017/S0960129509990247",
)
@inproceedings(tgc05,
 author       = "Michele Bugliesi and Marco Giunti",
 year         = "2005",
 title        = "Typed Processes in Untyped Contexts",
 booktitle    = "TGC",
 series       = "LNCS",
 volume       = "3705",
 publisher    = "Springer",
 pages        = "19--32",
 doi          = "10.1007/11580850\_3",
)
@inproceedings(popl07,
 author       = "Michele Bugliesi and Marco Giunti",
 year         = "2007",
 title        = "Secure implementations of typed channel abstractions",
 booktitle    = "POPL",
 publisher    = "ACM press",
 pages        = "251--262",
 doi          = "10.1145/1190216.1190253",
)
@article(CarboneM03,
 author       = "Marco Carbone and Sergio Maffeis",
 year         = "2003",
 title        = "On the Expressive Power of Polyadic Synchronisation in pi-calculus",
 journal      = "Nord. J. Comput.",
 volume       = "10",
 number       = "2",
 pages        = "70--98",
 doi          = "10.1016/S1571-0661(05)80361-5",
)
@article(CardelliGG05,
 author       = "Luca Cardelli and Giorgio Ghelli and Andrew D. Gordon",
 year         = "2005",
 title        = "Secrecy and group creation",
 journal      = "Inf. Comput.",
 volume       = "196",
 number       = "2",
 pages        = "127--155",
 doi          = "10.1016/j.ic.2004.08.003",
)
@article(CastagnaVN05,
 author       = "Giuseppe Castagna and Jan Vitek and Francesco Zappa Nardelli",
 year         = "2005",
 title        = "The Seal Calculus",
 journal      = "Inf. Comput.",
 volume       = "201",
 number       = "1",
 pages        = "1--54",
 doi          = "10.1016/j.ic.2004.11.005",
)
@unpublished(tech-report,
 author       = "Marco Giunti and Catuscia Palamidessi and Frank D. Valencia",
 title        = "Hide and New in the $\pi $-calculus",
 url          = "http://www.lix.polytechnique.fr/~marco.giunti",
 note         = "Long version of this paper",
)
@article(Hennessy05,
 author       = "Matthew Hennessy",
 year         = "2005",
 title        = "The security pi-calculus and non-interference",
 journal      = "J. Log. Algebr. Program.",
 volume       = "63",
 number       = "1",
 pages        = "3--34",
 doi          = "10.1016/j.jlap.2004.01.003",
)
@book(Hen07,
 author       = "Matthew Hennessy",
 year         = "2007",
 title        = "A Distributed Pi-Calculus",
 publisher    = "Cambridge University Press",
 address      = "New York, NY, USA",
)
@book(Milner80,
 author       = "R. Milner",
 year         = "1980",
 title        = "A Calculus of Communicating Systems",
 series       = "LNCS",
 volume       = "92",
 publisher    = "Springer-Verlag",
)
@article(MPW92a,
 author       = "R. Milner and J. Parrow and D. Walker",
 year         = "1992",
 title        = "A Calculus of Mobile Processes, part {I}",
 journal      = "Inf. Comput.",
 volume       = "100",
 number       = "1",
 pages        = "1--40",
 doi          = "10.1016/0890-5401(92)90008-4",
)
@article(MPW92b,
 author       = "R. Milner and J. Parrow and D. Walker",
 year         = "1992",
 title        = "A Calculus of Mobile Processes, part {I}{I}",
 journal      = "Inf. Comput.",
 volume       = "100",
 number       = "1",
 pages        = "41--77",
 doi          = "10.1016/0890-5401(92)90009-5",
)
@misc(dbus,
 author       = "Havoc Pennington and Anders Carlsson and Alexander Larsson and Sven Herzberg and Simon McVittie and David Zeuthen",
 title        = "D-Bus Specification",
 url          = "http://dbus.freedesktop.org",
)
@inproceedings(SangiorgiM92,
 author       = "Davide Sangiorgi and Robin Milner",
 year         = "1992",
 title        = "The Problem of ``Weak Bisimulation up to''",
 booktitle    = "CONCUR",
 series       = "LNCS",
 volume       = "630",
 publisher    = "Springer",
 pages        = "32--46",
 doi          = "10.1007/BFb0084781",
)
@book(SanWalk01,
 author       = "Davide Sangiorgi and David Walker",
 year         = "2001",
 title        = "The pi-calculus, a theory of mobile processes",
 publisher    = "Cambridge University Press",
)
@article(SewellV03,
 author       = "Peter Sewell and Jan Vitek",
 year         = "2003",
 title        = "Secure Composition of Untrusted Code: Box pi, Wrappers, and Causality",
 journal      = "J. Comp. Sec.",
 volume       = "11",
 number       = "2",
 pages        = "135--188",
 url          = "http://iospress.metapress.com/content/6u3ue7xblwqprxhx/",
)
@inproceedings(VasconcelosH93,
 author       = "Vasco T. Vasconcelos and Kohei Honda",
 year         = "1993",
 title        = "Principal Typing Schemes in a Polyadic pi-Calculus",
 booktitle    = "CONCUR",
 series       = "LNCS",
 volume       = "715",
 publisher    = "Springer",
 pages        = "524--538",
 doi          = "10.1007/3-540-57208-2\_36",
)