@article(Abramsky93CILL,
 author       = "Samson Abramsky",
 year         = "1993",
 title        = "Computational Interpretations of Linear Logic",
 journal      = "Theor. Comput. Sci.",
 volume       = "111",
 number       = "1-2",
 pages        = "3--57",
 url          = "http://dx.doi.org/10.1016/0304-3975(93)90181-R",
)
@inproceedings(Caires:esop13,
 author       = "Lu\'{\i }s Caires and Jorge A. P{\'e}rez and Frank Pfenning and Bernardo Toninho",
 year         = "2013",
 title        = "Behavioral Polymorphism and Parametricity in Session-Based Communication",
 editor       = "Matthias Felleisen and Philippa Gardner",
 booktitle    = "ESOP",
 series       = "Lecture Notes in Computer Science",
 volume       = "7792",
 publisher    = "Springer",
 pages        = "330--349",
 url          = "http://dx.doi.org/10.1007/978-3-642-37036-6_19",
)
@inproceedings(Caires:2010:SILL,
 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    = "CONCUR",
 series       = "Lecture Notes in Computer Science",
 volume       = "6269",
 publisher    = "Springer",
 pages        = "222--236",
 url          = "http://dx.doi.org/10.1007/978-3-642-15375-4_16",
)
@inproceedings(Demangeon:2011:FAS,
 author       = "Romain Demangeon and Kohei Honda",
 year         = "2011",
 title        = "Full Abstraction in a Subtyped pi-Calculus with Linear Types",
 editor       = "Joost-Pieter Katoen and Barbara K{\"o}nig",
 booktitle    = "CONCUR",
 series       = "Lecture Notes in Computer Science",
 volume       = "6901",
 publisher    = "Springer",
 pages        = "280--296",
 url          = "http://dx.doi.org/10.1007/978-3-642-23217-6_19",
)
@inproceedings(deyoung_et_al:LIPIcs,
 author       = "Henry DeYoung and Lu\'{\i }s Caires and Frank Pfenning and Bernardo Toninho",
 year         = "2012",
 title        = "Cut Reduction in Linear Logic as Asynchronous Session-Typed Communication",
 editor       = "Patrick C{\'e}gielski and Arnaud Durand",
 booktitle    = "CSL",
 series       = "LIPIcs",
 volume       = "16",
 publisher    = "Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik",
 pages        = "228--242",
 url          = "http://dx.doi.org/10.4230/LIPIcs.CSL.2012.228",
)
@article(Ehrhard2010606,
 author       = "Thomas Ehrhard and Olivier Laurent",
 year         = "2010",
 title        = "Interpreting a finitary pi-calculus in differential interaction nets",
 journal      = "Inf. Comput.",
 volume       = "208",
 number       = "6",
 pages        = "606--633",
 url          = "http://dx.doi.org/10.1016/j.ic.2009.06.005",
)
@article(GardnerLW07,
 author       = "Philippa Gardner and Cosimo Laneve and Lucian Wischik",
 year         = "2007",
 title        = "Linear forwarders",
 journal      = "Inf. Comput.",
 volume       = "205",
 number       = "10",
 pages        = "1526--1550",
 url          = "http://dx.doi.org/10.1016/j.ic.2007.01.006",
)
@article(Girard87,
 author       = "Jean-Yves Girard",
 year         = "1987",
 title        = "Linear Logic",
 journal      = "Theor. Comput. Sci.",
 volume       = "50",
 pages        = "1--102",
 url          = "http://dx.doi.org/10.1016/0304-3975(87)90045-4",
)
@article(Girard95lightlinear,
 author       = "Jean-Yves Girard",
 year         = "1998",
 title        = "Light Linear Logic",
 journal      = "Inf. Comput.",
 volume       = "143",
 number       = "2",
 pages        = "175--204",
 url          = "http://dx.doi.org/10.1006/inco.1998.2700",
)
@book(TBS,
 author       = "Jean-Yves Girard",
 year         = "2011",
 title        = "The Blind Spot",
 publisher    = "European Mathematical Society",
 url          = "http://dx.doi.org/10.4171/088",
)
@inproceedings(honda.vasconcelos.kubo:language-primitives,
 author       = "Kohei Honda and Vasco Thudichum Vasconcelos and Makoto Kubo",
 year         = "1998",
 title        = "Language Primitives and Type Discipline for Structured Communication-Based Programming",
 editor       = "Chris Hankin",
 booktitle    = "ESOP",
 series       = "Lecture Notes in Computer Science",
 volume       = "1381",
 publisher    = "Springer",
 pages        = "122--138",
 url          = "http://dx.doi.org/10.1007/BFb0053567",
)
@inproceedings(HondaK:mulast,
 author       = "Kohei Honda and Nobuko Yoshida and Marco Carbone",
 year         = "2008",
 title        = "Multiparty asynchronous session types",
 editor       = "George C. Necula and Philip Wadler",
 booktitle    = "POPL",
 publisher    = "ACM",
 pages        = "273--284",
 url          = "http://doi.acm.org/10.1145/1328438.1328472",
)
@inproceedings(DBLP:journals/corr/abs-1108-4467,
 author       = "Ugo Dal Lago and Paolo Di Giamberardino",
 year         = "2011",
 title        = "Soft Session Types",
 editor       = "Bas Luttik and Frank Valencia",
 booktitle    = "EXPRESS",
 series       = "EPTCS",
 volume       = "64",
 pages        = "59--73",
 url          = "http://dx.doi.org/10.4204/EPTCS.64.5",
)
@article(laneve.victor:solos-concert,
 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",
 url          = "http://dx.doi.org/10.1017/S0960129503004055",
)
@article(milner:functions-as-processes,
 author       = "Robin Milner",
 year         = "1992",
 title        = "Functions as Processes",
 journal      = "Mathematical Structures in Computer Science",
 volume       = "2",
 number       = "2",
 pages        = "119--141",
 url          = "http://dx.doi.org/10.1017/S0960129500001407",
)
@unpublished(mostrous12,
 author       = "Dimitris Mostrous",
 year         = "2012",
 title        = "Proof Nets in Process Algebraic Form",
 note         = "Available at \url {http://www.di.fc.ul.pt/~dimitris/}",
)
@inproceedings(PerezCPT12,
 author       = "Jorge A. P{\'e}rez and Lu\'{\i }s Caires and Frank Pfenning and Bernardo Toninho",
 year         = "2012",
 title        = "Linear Logical Relations for Session-Based Concurrency",
 booktitle    = "ESOP '12",
 pages        = "539--558",
 url          = "http://dx.doi.org/10.1007/978-3-642-28869-2_27",
)
@article(Pierce:2000:BEP:long,
 author       = "Benjamin C. Pierce and Davide Sangiorgi",
 year         = "2000",
 title        = "Behavioral equivalence in the polymorphic pi-calculus",
 journal      = "Journal of the ACM",
 volume       = "47",
 number       = "3",
 pages        = "531--584",
 url          = "http://doi.acm.org/10.1145/337244.337261",
)
@inproceedings(THK,
 author       = "Kaku Takeuchi and Kohei Honda and Makoto Kubo",
 year         = "1994",
 title        = "An Interaction-based Language and its Typing System",
 editor       = "Constantine Halatsis and Dimitris G. Maritsas and George Philokyprou and Sergios Theodoridis",
 booktitle    = "PARLE",
 series       = "Lecture Notes in Computer Science",
 volume       = "817",
 publisher    = "Springer",
 pages        = "398--413",
 url          = "http://dx.doi.org/10.1007/3-540-58184-7_118",
)
@article(Wadler12propsess,
 author       = "Philip Wadler",
 year         = "2014",
 title        = "Propositions as sessions",
 journal      = "J. Funct. Program.",
 volume       = "24",
 number       = "2-3",
 pages        = "384--418",
 url          = "http://dx.doi.org/10.1017/S095679681400001X",
)