@inproceedings(DardhaEtal:st-revisited,
 author       = "Ornela Dardha and Elena Giachino and Davide Sangiorgi",
 year         = "2012",
 title        = "Session Types Revisited",
 booktitle    = "Proceedings of the 14th Symposium on Principles and Practice of Declarative Programming ({PPDP'12})",
 publisher    = "ACM",
 pages        = "139--150",
 doi          = "10.1145/2370776.2370794",
)
@inproceedings(DemangeonHonda:fullyabstractsubtypedlinearpi,
 author       = "Romain Demangeon and Kohei Honda",
 year         = "2011",
 title        = "Full abstraction in a subtyped pi-calculus with linear types",
 booktitle    = "Proceedings of the 22nd International Conference on Concurrency Theory",
 series       = "LNCS",
 volume       = "742",
 publisher    = "Springer",
 pages        = "460--474",
 doi          = "10.1007/978-3-642-23217-6$\_$19",
)
@inproceedings(DezaniCiancagliniM:sestol,
 author       = "Mariangiola Dezani-Ciancaglini and Dimitris Mostrous and Nobuko Yoshida and Sophia Drossopoulou",
 year         = "2006",
 title        = "Session Types for Object-Oriented Languages",
 booktitle    = "Proceedings of the 14th ECOOP",
 series       = "LNCS",
 volume       = "4067",
 publisher    = "Springer",
 pages        = "328--352",
 doi          = "10.1007/11785477$\_$20",
)
@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",
 doi          = "10.1007/s00236-005-0177-z",
)
@inproceedings(HondaK:lanptd,
 author       = "Kohei Honda and Vasco Vasconcelos and Makoto Kubo",
 year         = "1998",
 title        = "Language Primitives and Type Discipline for Structured Communication-Based Programming",
 booktitle    = "Proceedings of the 14th ESOP",
 series       = "LNCS",
 volume       = "1381",
 publisher    = "Springer",
 pages        = "122--138",
 doi          = "10.1007/BFb0053567",
)
@article(IgarashiA:gentspjournal,
 author       = "Atsushi Igarashi and Naoki Kobayashi",
 year         = "2004",
 title        = "A Generic Type System for the Pi-Calculus",
 journal      = "Theoretical Computer Science",
 volume       = "311",
 number       = "1--3",
 pages        = "121--163",
 doi          = "10.1016/S0304-3975(03)00325-6",
)
@inproceedings(KobayashiN:typscp,
 author       = "Naoki Kobayashi",
 year         = "2002",
 title        = "Type Systems for Concurrent Programs",
 booktitle    = "Formal Methods at the Crossroads: From Panacea to Foundational Support (Proceedings of UNU/IIST 10th Anniversary Colloquium)",
 series       = "LNCS",
 volume       = "2757",
 publisher    = "Springer",
 pages        = "439--453",
 doi          = "10.1007/978-3-540-40007-3$\_$26",
 note         = "Extended version at \texttt {http://www.kb.ecei.tohoku.ac.jp/\~{}koba/papers/tutorial-type-extended.pdf}",
)
@article(KobayashiN:linpcfull,
 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",
 doi          = "10.1145/330249.330251",
)
@article(liskov.wing:behavioural-subtyping,
 author       = "Barbara Liskov and Jeannette~M. Wing",
 year         = "1994",
 title        = "A Behavioral Notion of Subtyping",
 journal      = "ACM Transactions on Programming Languages and Systems",
 volume       = "16",
 number       = "6",
 pages        = "1811--1841",
 doi          = "10.1145/197320.197383",
)
@article(MPW92,
 author       = "Robin Milner and Joachim Parrow and David Walker",
 year         = "1992",
 title        = "A Calculus of Mobile Processes, parts {I} and {II}",
 journal      = "Information and Computation",
 volume       = "100",
 number       = "1",
 pages        = "1--77",
 doi          = "10.1016/0890-5401(92)90009-5",
)
@book(sangiorgi.walker:the-pi-calculus,
 author       = "Davide Sangiorgi and David Walker",
 year         = "2001",
 title        = "The pi-calculus, a theory of mobile processes",
 publisher    = "Cambridge University Press",
)
@inproceedings(TakeuchiK:intblt,
 author       = "Kaku Takeuchi and Kohei Honda and Makoto Kubo",
 year         = "1994",
 title        = "An Interaction-Based Language and its Typing System",
 booktitle    = "Proceedings of the 14th PARLE",
 series       = "LNCS",
 volume       = "817",
 publisher    = "Springer",
 pages        = "398--413",
 doi          = "10.1007/3-540-58184-7$\_$118",
)