@inproceedings(castagna-et-al:foundations-session-types,
 author       = "Giuseppe Castagna and Mariangiola Dezani-Ciancaglini and Elena Giachino and Luca Padovani",
 year         = "2009",
 title        = "Foundations of session types",
 booktitle    = "PPDP",
 publisher    = "ACM Press",
 pages        = "219--230",
 url          = "http://doi.acm.org/10.1145/1599410.1599437",
)
@inproceedings(dezani-de-liguoro:session-types-overview,
 author       = "Mariangiola Dezani-Ciancaglini and Ugo de'Liguoro",
 year         = "2009",
 title        = "Sessions and Session Types: An Overview",
 booktitle    = "WS-FM",
 series       = "Lectures Notes in Computer Science",
 volume       = "6194",
 publisher    = "Springer",
 pages        = "1--28",
 url          = "http://dx.doi.org/10.1007/978-3-642-14458-5_1",
)
@article(GaySJ:substp,
 author       = "Simon J. Gay and Malcolm J. Hole",
 year         = "2005",
 title        = "Subtyping for Session Types in the Pi Calculus",
 journal      = "Acta Informatica",
 volume       = "42",
 number       = "2/3",
 pages        = "191--225",
)
@unpublished(bisim-sessions,
 author       = "Marco Giunti",
 year         = "2011",
 title        = "Typed Observational Equivalence for Sessions",
 note         = "Submitted",
)
@inproceedings(GiuntiV10,
 author       = "Marco Giunti and Vasco T. Vasconcelos",
 year         = "2010",
 title        = "A Linear Account of Session Types in the Pi Calculus",
 booktitle    = "CONCUR",
 series       = "Lecture Notes in Computer Science",
 volume       = "6269",
 publisher    = "Springer",
 pages        = "432--446",
 url          = "http://dx.doi.org/10.1007/978-3-642-15375-4_30",
)
@inproceedings(honda.vasconcelos.kubo:language-primitives,
 author       = "Kohei Honda and Vasco T. Vasconcelos and Makoto Kubo",
 year         = "1998",
 title        = "Language Primitives and Type Discipline for Structured Communication-Based Programming",
 booktitle    = "ESOP",
 series       = "Lectures Notes in Computer Science",
 volume       = "1381",
 publisher    = "Springer",
 pages        = "122--138",
 url          = "http://dx.doi.org/10.1007/BFb0053567",
)
@article(kpt:linearity,
 author       = "Naoki Kobayashi and Benjamin C. Pierce and David N. Turner",
 year         = "1999",
 title        = "Linearity and the pi-calculus",
 journal      = "ACM Transactions on Programming Languages and Systems",
 volume       = "21",
 number       = "5",
 pages        = "914--947",
 url          = "http://doi.acm.org/10.1145/330249.330251",
)
@inproceedings(mezzina-forte09,
 author       = "Michael Lienhardt and Claudio Antares Mezzina and Alan Schmitt and Jean-Bernard Stefani",
 year         = "2009",
 title        = "Typing Component-Based Communication Systems",
 booktitle    = "FMOODS/FORTE",
 series       = "Lectures Notes in Computer Science",
 volume       = "5522",
 publisher    = "Springer",
 pages        = "167--181",
 url          = "http://dx.doi.org/10.1007/978-3-642-02138-1_11",
)
@article(MPW92,
 author       = "Robin Milner and Joachim Parrow and David Walker",
 year         = "1992",
 title        = "A Calculus of Mobile Processes, parts {I} and {I}{I}",
 journal      = "Information and Computation",
 volume       = "100",
 number       = "1",
 pages        = "1--77",
)
@book(PierceBC:typpl,
 author       = "Benjamin C. Pierce",
 year         = "2002",
 title        = "Types and Programming Languages",
 publisher    = "MIT Press",
)
@article(PS96,
 author       = "Benjamin C. Pierce and Davide Sangiorgi",
 year         = "1996",
 title        = "Typing and Subtyping for Mobile Processes",
 journal      = "Mathematical Structures in Computer Science",
 volume       = "6",
 number       = "5",
 pages        = "409--453",
)
@inproceedings(THK,
 author       = "Kaku Takeuchi and Kohei Honda and Makoto Kubo",
 year         = "1994",
 title        = "An Interaction-based Language and its Typing System",
 booktitle    = "PARLE",
 series       = "Lectures Notes in Computer Science",
 volume       = "817",
 publisher    = "Springer",
 pages        = "398--413",
)
@inproceedings(vvsfm09,
 author       = "Vasco T. Vasconcelos",
 year         = "2009",
 title        = "Fundamentals of Session Types",
 booktitle    = "SFM",
 series       = "Lectures Notes in Computer Science",
 volume       = "5569",
 publisher    = "Springer",
 pages        = "158--186",
 url          = "http://dx.doi.org/10.1007/978-3-642-01918-0_4",
)
@incollection(vvBeatcs,
 author       = "Vasco T. Vasconcelos",
 year         = "2011",
 title        = "Sessions, from types to programming languages",
 editor       = "Luca Aceto",
 booktitle    = "The Concurrency Column",
 publisher    = "{\em Bulletin of the EATCS} 103",
 pages        = "53--73",
)
@inbook(walker:substructural-type-systems,
 author       = "David Walker",
 year         = "2005",
 title        = "Advanced Topics in Types and Programming Languages",
 chapter      = "Substructural Type Systems",
 publisher    = "MIT Press",
)