@article(abramsky-1994-proofs,
 author       = "Samson Abramsky",
 year         = "1994",
 title        = "Proofs as processes",
 journal      = "Theoretical Computer Science",
 volume       = "135",
 number       = "1",
 pages        = "5--9",
 doi          = "10.1016/0304-3975(94)00103-0",
 url          = "http://www.sciencedirect.com/science/article/pii/0304397594001030",
)
@unpublished(vanbakel-2014-classical,
 author       = "Steffen van Bakel and Luca Cardelli and Maria Grazia Vigliotti",
 year         = "2014",
 title        = "Classical cut-elimination in the $\pi $-calculus",
)
@inproceedings(beffara-2006-concurrent-a,
 author       = "Emmanuel Beffara",
 year         = "2006",
 title        = "A concurrent model for linear logic",
 booktitle    = "21st International Conference on Mathematical Foundations of Programming Semantics {(MFPS)}",
 series       = "Electronic Notes in Theoretical Computer Science",
 volume       = "155",
 pages        = "147--168",
 doi          = "10.1016/j.entcs.2005.11.055",
)
@article(beffara-2006-concurrent,
 author       = "Emmanuel Beffara and Fran\c {c}ois Maurel",
 year         = "2006",
 title        = "Concurrent nets: A study of prefixing in process calculi",
 journal      = "Theoretical Computer Science",
 volume       = "356",
 number       = "3",
 pages        = "356--373",
 doi          = "10.1016/j.tcs.2006.02.009",
 url          = "http://www.sciencedirect.com/science/article/pii/S0304397506001460",
)
@inproceedings(beffara-2012-proofs,
 author       = "Emmanuel Beffara and Virgile Mogbil",
 year         = "2012",
 title        = "Proofs as executions",
 editor       = "Jos C. M. Baeten and Tom Ball and Frank S. de Boer",
 booktitle    = "Proceedings of {IFIP} {TCS}",
 series       = "Lecture Notes in Computer Science",
 volume       = "7604",
 publisher    = "Springer",
 pages        = "280--294",
 doi          = "10.1007/978-3-642-33475-7_20",
 url          = "http://hal.archives-ouvertes.fr/hal-00586459/",
)
@article(bellin-1994--calculus,
 author       = "Gianluigi Bellin and Philip J. Scott",
 year         = "1994",
 title        = "On the $\pi $-calculus and linear logic",
 journal      = "Theoretical Computer Science",
 volume       = "135",
 number       = "1",
 pages        = "11--65",
 doi          = "10.1016/0304-3975(94)00104-9",
 url          = "http://www.sciencedirect.com/science/article/pii/0304397594001049",
)
@inproceedings(bruscoli-2002-purely,
 author       = "Paola Bruscoli",
 year         = "2002",
 title        = "A purely logical account of sequentiality in proof search",
 editor       = "Peter J. Stuckey",
 booktitle    = "International Conference on Logic Programming {(ICLP)}",
 series       = "Lecture Notes in Computer Science",
 volume       = "2401",
 publisher    = "Springer",
 pages        = "302--316",
 doi          = "10.1007/3-540-45619-8_21",
 url          = "http://link.springer.com/chapter/10.1007/3-540-45619-8_21",
)
@inproceedings(caires-2010-session,
 author       = "Lu\'{i}s Caires and Frank Pfenning",
 year         = "2010",
 title        = "Session types as intuitionistic linear propositions",
 editor       = "Paul Gastin and Fran\c {c}ois Laroussinie",
 booktitle    = "Proceedings of the 21st International Conference on Concurrency Theory",
 series       = "Lecture Notes in Computer Science",
 volume       = "6269",
 publisher    = "Springer Berlin Heidelberg",
 address      = "Paris, France",
 pages        = "222--236",
 doi          = "10.1007/978-3-642-15375-4_16",
 url          = "http://link.springer.com/chapter/10.1007/978-3-642-15375-4_16",
)
@article(danos-1997-new,
 author       = "Vincent Danos and {Jean-Baptiste} Joinet and Harold Schellinx",
 year         = "1997",
 title        = "A new deconstructive logic: linear logic",
 journal      = "The Journal of Symbolic Logic",
 volume       = "62",
 number       = "3",
 pages        = "755--807",
 doi          = "10.2307/2275572",
 url          = "http://www.jstor.org/stable/2275572",
)
@article(danos-1989-structure,
 author       = "Vincent Danos and Laurent Regnier",
 year         = "1989",
 title        = "The structure of multiplicatives",
 journal      = "Archive for Mathematical Logic",
 volume       = "28",
 number       = "3",
 pages        = "181--203",
 doi          = "10.1007/BF01622878",
 url          = "http://link.springer.com/article/10.1007/BF01622878",
)
@article(ehrhard-2010-interpreting,
 author       = "Thomas Ehrhard and Olivier Laurent",
 year         = "2010",
 title        = "Interpreting a finitary $\pi $-calculus in differential interaction nets",
 journal      = "Information and Computation",
 volume       = "208",
 number       = "6",
 pages        = "606--633",
 doi          = "10.1016/j.ic.2009.06.005",
 url          = "http://www.sciencedirect.com/science/article/pii/S0890540110000155",
)
@article(ehrhard-2006-differential,
 author       = "Thomas Ehrhard and Laurent Regnier",
 year         = "2006",
 title        = "Differential interaction nets",
 journal      = "Theoretical Computer Science",
 volume       = "364",
 number       = "2",
 pages        = "166--195",
 doi          = "10.1016/j.tcs.2006.08.003",
 url          = "http://www.sciencedirect.com/science/article/pii/S0304397506005299",
)
@article(girard-1987-linear,
 author       = "{Jean-Yves} Girard",
 year         = "1987",
 title        = "Linear logic",
 journal      = "Theoretical Computer Science",
 volume       = "50",
 number       = "1",
 pages        = "1--101",
 doi          = "10.1016/0304-3975(87)90045-4",
 url          = "http://www.sciencedirect.com/science/article/pii/0304397587900454",
)
@incollection(girard-1996-proof-nets,
 author       = "{Jean-Yves} Girard",
 year         = "1996",
 title        = "Proof-nets: the parallel syntax for proof-theory",
 editor       = "Paolo Aglian\`{o} and Aldo Ursini",
 booktitle    = "Logic and Algebra",
 series       = "Lecture Notes in Pure and Applied Mathematics",
 volume       = "180",
 publisher    = "Marcel Dekker",
 address      = "New York",
 pages        = "97--124",
)
@article(hennessy-1985-algebraic,
 author       = "Matthew Hennessy and Robin Milner",
 year         = "1985",
 title        = "Algebraic laws for nondeterminism and concurrency",
 journal      = "Journal of the {ACM}",
 volume       = "32",
 number       = "1",
 pages        = "137--161",
 doi          = "10.1145/2455.2460",
)
@article(honda-2010-exact,
 author       = "Kohei Honda and Olivier Laurent",
 year         = "2010",
 title        = "An exact correspondence between a typed $\pi $-calculus and polarised proof-nets",
 journal      = "Theoretical Computer Science",
 volume       = "411",
 number       = "22{\textendash }24",
 pages        = "2223--2238",
 doi          = "10.1016/j.tcs.2010.01.028",
 url          = "http://www.sciencedirect.com/science/article/pii/S0304397510000538",
)
@article(laneve-2003-solos,
 author       = "Cosimo Laneve and Bj\"{o}rn Victor",
 year         = "2003",
 title        = "Solos in concert",
 journal      = "Mathematical Structures in Computer Science",
 volume       = "13",
 number       = "5",
 pages        = "657--683",
 doi          = "10.1017/S0960129503004055",
)
@inproceedings(maurel-2003-nondeterministic,
 author       = "Fran\c {c}ois Maurel",
 year         = "2003",
 title        = "Nondeterministic light logics and {NP} time",
 editor       = "Martin Hofmann",
 booktitle    = "Typed Lambda Calculi and Applications",
 series       = "Lecture Notes in Computer Science",
 volume       = "2701",
 publisher    = "Springer",
 pages        = "241--255",
 doi          = "10.1007/3-540-44904-3_17",
 url          = "http://link.springer.com/chapter/10.1007/3-540-44904-3_17",
)
@inproceedings(miller-1992--calculus,
 author       = "Dale Miller",
 year         = "1992",
 title        = "The $\pi $-calculus as a theory in linear logic: Preliminary results",
 editor       = "Evelina Lamma and Paola Mello",
 booktitle    = "Extensions of Logic Programming, Third International Workshop {(WELP'92)}",
 series       = "Lecture Notes in Computer Science",
 volume       = "660",
 publisher    = "Springer",
 pages        = "242--264",
 doi          = "10.1007/3-540-56454-3_13",
 url          = "http://link.springer.com/chapter/10.1007/3-540-56454-3_13",
)
@article(miller-2005-proof,
 author       = "Dale Miller and Alwen Tiu",
 year         = "2005",
 title        = "A proof theory for generic judgments",
 journal      = "{ACM} Transactions on Computational Logic {(TOCL)}",
 volume       = "6",
 number       = "4",
 pages        = "749{\textendash }783",
 doi          = "10.1145/1094622.1094628",
)
@book(milner-1989-communication,
 author       = "Robin Milner",
 year         = "1989",
 title        = "Communication and concurrency",
 publisher    = "{Prentice-Hall}, Inc.",
 address      = "Upper Saddle River, {NJ}, {USA}",
)
@inproceedings(mogbil-2010-non-deterministic,
 author       = "Virgile Mogbil",
 year         = "2010",
 title        = "Non-deterministic boolean proof nets",
 editor       = "Marko van Eekelen and Olha Shkaravska",
 booktitle    = "Foundational and Practical Aspects of Resource Analysis",
 series       = "Lecture Notes in Computer Science",
 publisher    = "Springer",
 pages        = "131--145",
 doi          = "10.1007/978-3-642-15331-0_9",
 url          = "http://link.springer.com/chapter/10.1007/978-3-642-15331-0_9",
)
@inproceedings(terui-2004-proof,
 author       = "Kazushige Terui",
 year         = "2004",
 title        = "Proof nets and boolean circuits",
 booktitle    = "Proceedings of the 19th Annual {IEEE} Symposium on Logic in Computer Science",
 series       = "{LICS} '04",
 publisher    = "{IEEE} Computer Society",
 address      = "Washington, {DC}, {USA}",
 pages        = "182{\textendash }191",
 doi          = "10.1109/LICS.2004.34",
)
@article(tiu-2005-proof,
 author       = "Alwen Tiu and Dale Miller",
 year         = "2005",
 title        = "A proof search specification of the $\pi $-calculus",
 journal      = "Electronic Notes in Theoretical Computer Science",
 volume       = "138",
 number       = "1",
 pages        = "79--101",
 doi          = "10.1016/j.entcs.2005.05.006",
 url          = "http://www.sciencedirect.com/science/article/pii/S1571066105051121",
)
@inproceedings(winskel-1987-event,
 author       = "Glynn Winskel",
 year         = "1987",
 title        = "Event structures",
 editor       = "W. Brauer and W. Reisig and G. Rozenberg",
 booktitle    = "Petri Nets: Applications and Relationships to Other Models of Concurrency",
 series       = "Lecture Notes in Computer Science",
 volume       = "255",
 publisher    = "Springer Berlin Heidelberg",
 pages        = "325--392",
 doi          = "10.1007/3-540-17906-2_31",
 url          = "http://link.springer.com/chapter/10.1007/3-540-17906-2_31",
)
@inproceedings(yoshida-2001-strong,
 author       = "Nobuko Yoshida and Martin Berger and Kohei Honda",
 year         = "2001",
 title        = "Strong normalisation in the $\pi $-calculus",
 booktitle    = "16th Annual {IEEE} Symposium on Logic in Computer Science, 2001.",
 pages        = "311--322",
 doi          = "10.1109/LICS.2001.932507",
)