@inproceedings(BarbaneraDeLiguoro10,
 author       = "Franco Barbanera and Ugo de'Liguoro",
 year         = "2010",
 title        = "Two notions of sub-behaviour for session-based client/server systems",
 booktitle    = "Proceedings of PPDP'10",
 publisher    = "ACM",
 pages        = "155--164",
 doi          = "10.1145/1836089.1836109",
)
@inproceedings(CONCUR08,
 author       = "Lorenzo Bettini and Mario Coppo and Loris D'Antoni and Marco De Luca and Mariangiola Dezani-Ciancaglini and Nobuko Yoshida",
 year         = "2008",
 title        = "Global Progress in Dynamically Interleaved Multiparty Sessions",
 booktitle    = "Proceedings of CONCUR'08",
 series       = "LNCS 5201",
 pages        = "418--433",
 doi          = "10.1007/978-3-540-85361-9_33",
)
@article(BonoPadovani12,
 author       = "Viviana Bono and Luca Padovani",
 year         = "2012",
 title        = "{T}yping {C}opyless {M}essage {P}assing",
 journal      = "Logical Methods in Computer Science",
 volume       = "8",
 pages        = "1--50",
 doi          = "10.2168/LMCS-8(1:17)2012",
)
@inproceedings(CairesPfenning10,
 author       = "Lu\'{\i }s Caires and Frank Pfenning",
 year         = "2010",
 title        = "Session Types as Intuitionistic Linear Propositions",
 booktitle    = "Proceedings of CONCUR'10",
 series       = "LNCS 6269",
 pages        = "222--236",
 doi          = "10.1007/978-3-642-15375-4_16",
)
@inproceedings(CarboneMontesi13,
 author       = "Marco Carbone and Fabrizio Montesi",
 year         = "2013",
 title        = "Deadlock-freedom-by-design: multiparty asynchronous global programming",
 booktitle    = "Proceedings of POPL'13",
 publisher    = "ACM",
 pages        = "263--274",
 doi          = "10.1145/2429069.2429101",
)
@inproceedings(CastagnaDezaniGiachinoPadovani09,
 author       = "Giuseppe Castagna and Mariangiola Dezani-Ciancaglini and Elena Giachino and Luca Padovani",
 year         = "2009",
 title        = "{F}oundations of {S}ession {T}ypes",
 booktitle    = "Proceedings of PPDP'09",
 publisher    = "ACM",
 pages        = "219--230",
 doi          = "10.1145/1599410.1599437",
)
@inproceedings(CoppoDezaniPadovaniYoshida13b,
 author       = "Mario Coppo and Mariangiola Dezani-Ciancaglini and Luca Padovani and Nobuko Yoshida",
 year         = "2013",
 title        = "{Inference of Global Progress Properties for Dynamically Interleaved Multiparty Sessions}",
 booktitle    = "Proceedings COORDINATION'13",
 volume       = "LNCS 7890",
 publisher    = "Springer",
 pages        = "45--59",
 doi          = "10.1007/978-3-642-38493-6_4",
)
@inproceedings(DardhaGiachinoSangiorgi12,
 author       = "Ornela Dardha and Elena Giachino and Davide Sangiorgi",
 year         = "2012",
 title        = "Session types revisited",
 booktitle    = "Proceedings of PPDP'12",
 publisher    = "ACM",
 pages        = "139--150",
 doi          = "10.1145/2370776.2370794",
)
@inproceedings(DezaniDeLiguoroYoshida07,
 author       = "Mariangiola Dezani-Ciancaglini and Ugo de'Liguoro and Nobuko Yoshida",
 year         = "2008",
 title        = "On Progress for Structured Communications",
 booktitle    = "Proceedings of TGC'07",
 series       = "LNCS 4912",
 pages        = "257--275",
 doi          = "10.1007/978-3-540-78663-4_18",
)
@article(GayHole05,
 author       = "Simon Gay and Malcolm 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",
)
@article(Kobayashi02,
 author       = "Naoki Kobayashi",
 year         = "2002",
 title        = "A Type System for Lock-Free Processes",
 journal      = "Information and Computation",
 volume       = "177",
 number       = "2",
 pages        = "122--159",
 doi          = "10.1006/inco.2002.3171",
)
@inproceedings(Padovani11b,
 author       = "Luca Padovani",
 year         = "2011",
 title        = "{S}ession {T}ypes = {I}ntersection {T}ypes + {U}nion {T}ypes",
 booktitle    = "Proceedings of ITRS'10",
 volume       = "EPTCS 45",
 pages        = "71--89",
 doi          = "10.4204/EPTCS.45.6",
)
@article(Padovani12,
 author       = "Luca Padovani",
 year         = "2012",
 title        = "{O}n {P}rojecting {P}rocesses into {S}ession {T}ypes",
 journal      = "Mathematical Structures in Computer Science",
 volume       = "22",
 pages        = "237--289",
 doi          = "10.1017/S0960129511000405",
)
@inproceedings(VieiraVasconcelos13,
 author       = "Hugo Torres Vieira and Vasco Thudichum Vasconcelos",
 year         = "2013",
 title        = "Typing Progress in Communication-Centred Systems",
 booktitle    = "Proceedings of COORDINATION'13",
 series       = "LNCS 7890",
 publisher    = "Springer",
 pages        = "236--250",
 doi          = "10.1007/978-3-642-38493-6_17",
)
@inproceedings(Wadler12,
 author       = "Philip Wadler",
 year         = "2012",
 title        = "Propositions as sessions",
 booktitle    = "Proceedings of ICFP'12",
 publisher    = "ACM",
 pages        = "273--286",
 doi          = "10.1145/2364527.2364568",
)