@inproceedings(BdLH18,
 author       = {Franco Barbanera and Ugo de'Liguoro and Rolf Hennicker},
 year         = {2018},
 title        = {Global Types for Open Systems},
 booktitle    = {ICE},
 series       = {EPTCS},
 volume       = {279},
 publisher    = {Open Publishing Association},
 pages        = {4--20},
 doi          = {10.4204/EPTCS.279.4},
)
@article(BCZ17,
 author       = {Mario Bravetti and Marco Carbone and Gianluigi Zavattaro},
 year         = {2017},
 title        = {{Undecidability of Asynchronous Session Subtyping}},
 journal      = {Information and Computation},
 volume       = {256},
 pages        = {300--320},
 doi          = {10.1016/j.ic.2017.07.010},
)
@inproceedings(CP16,
 author       = {Lu{\'{\i}}s Caires and Jorge A. P{\'{e}}rez},
 year         = {2016},
 title        = {{Multiparty Session Types Within a Canonical Binary Theory, and Beyond}},
 booktitle    = {FORTE},
 series       = {LNCS},
 volume       = {9688},
 publisher    = {Springer},
 pages        = {74--95},
 doi          = {10.1007/978-3-319-39570-8\_6},
)
@inproceedings(CLMSW16,
 author       = {Marco Carbone and Sam Lindley and Fabrizio Montesi and Carsten Sch{\"{u}}rmann and Philip Wadler},
 year         = {2016},
 title        = {{Coherence Generalises Duality: {A} Logical Explanation of Multiparty Session Types}},
 booktitle    = {CONCUR},
 series       = {LIPIcs},
 volume       = {59},
 publisher    = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik},
 pages        = {33:1--33:15},
 doi          = {10.4230/LIPIcs.CONCUR.2016.33},
)
@incollection(BookCC,
 author       = {Felice Cardone and Mario Coppo},
 year         = {2013},
 title        = {{Recursive Types}},
 editor       = {Henk Barendregt and Wil Dekkers and Richard Statman},
 booktitle    = {{Lambda Calculus with Types}},
 series       = {Perspectives in Logic},
 publisher    = {Cambridge University Press},
 pages        = {377--576},
 doi          = {10.1017/CBO9781139032636.011},
)
@article(CGP09,
 author       = {Giuseppe Castagna and Nils Gesbert and Luca Padovani},
 year         = {2009},
 title        = {{A Theory of Contracts for Web Services}},
 journal      = {{ACM} Transactions on Programming Languages and Systems},
 volume       = {31},
 number       = {5},
 pages        = {19:1--19:61},
 doi          = {10.1145/1538917.1538920},
)
@article(CDG19,
 author       = {Ilaria Castellani and Dezani-Ciancaglini, Mariangiola and Paola Giannini},
 year         = {2019},
 title        = {{Reversible Sessions with Flexible Choices}},
 journal      = {Acta Informatica},
 doi          = {10.1007/s00236-019-00332-y},
 note         = {To appear},
)
@inproceedings(DBLP:conf/sfm/CoppoDPY15,
 author       = {Mario Coppo and Dezani{-}Ciancaglini, Mariangiola and Luca Padovani and Nobuko Yoshida},
 year         = {2015},
 title        = {{A Gentle Introduction to Multiparty Asynchronous Session Types}},
 booktitle    = {Formal Methods for Multicore Programming},
 series       = {LNCS},
 publisher    = {Springer},
 pages        = {146--178},
 doi          = {10.1007/978-3-319-18941-3\_4},
)
@article(DBLP:journals/mscs/CoppoDYP16,
 author       = {Mario Coppo and Dezani{-}Ciancaglini, Mariangiola and Nobuko Yoshida and Luca Padovani},
 year         = {2016},
 title        = {{Global Progress for Dynamically Interleaved Multiparty Sessions}},
 journal      = {Mathematical Structures in Computer Science},
 volume       = {26},
 number       = {2},
 pages        = {238--302},
 doi          = {10.1017/S0960129514000188},
)
@article(Courcelle83,
 author       = {Bruno Courcelle},
 year         = {1983},
 title        = {{Fundamental Properties of Infinite Trees}},
 journal      = {{Theoretical Computer Science}},
 volume       = {25},
 pages        = {95--169},
 doi          = {10.1016/0304-3975(83)90059-2},
)
@inproceedings(DemangeonH11,
 author       = {Romain Demangeon and Kohei Honda},
 year         = {2011},
 title        = {{Full Abstraction in a Subtyped Pi-Calculus with Linear Types}},
 booktitle    = {CONCUR},
 series       = {LNCS},
 volume       = {6901},
 publisher    = {Springer},
 pages        = {280--296},
 doi          = {10.1007/978-3-642-23217-6\_19},
)
@inproceedings(DezEtAlt16,
 author       = {Dezani{-}Ciancaglini, Mariangiola and Silvia Ghilezan and Svetlana Jaksic and Jovanka Pantovic and Nobuko Yoshida},
 year         = {2015},
 title        = {{Precise Subtyping for Synchronous Multiparty Sessions}},
 booktitle    = {PLACES},
 series       = {{EPTCS}},
 volume       = {203},
 publisher    = {Open Publishing Association},
 pages        = {29--43},
 doi          = {10.4204/EPTCS.203.3},
)
@inproceedings(Gay16,
 author       = {Simon Gay},
 year         = {2016},
 title        = {{Subtyping Supports Safe Session Substitution}},
 booktitle    = {A List of Successes That Can Change the World - Essays Dedicated to Philip Wadler on the Occasion of His 60th Birthday},
 series       = {LNCS},
 volume       = {9600},
 publisher    = {Springer},
 pages        = {95--108},
 doi          = {10.1007/978-3-319-30936-1\_5},
)
@article(GH05,
 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(GJPSY19,
 author       = {Silvia Ghilezan and Svetlana Jaksic and Jovanka Pantovic and Alceste Scalas and Nobuko Yoshida},
 year         = {2019},
 title        = {{Precise Subtyping for Synchronous Multiparty Sessions}},
 journal      = {Journal of Logic and Algebraic Methods in Programming},
 volume       = {104},
 pages        = {127--173},
 doi          = {10.1016/j.jlamp.2018.12.002},
)
@inproceedings(HVK98,
 author       = {Kohei Honda and Vasco Thudichum Vasconcelos and Makoto Kubo},
 year         = {1998},
 title        = {{Language Primitives and Type Discipline for Structured Communication-Based Programming}},
 booktitle    = {ESOP},
 series       = {LNCS},
 volume       = {1381},
 publisher    = {Springer},
 pages        = {122--138},
 doi          = {10.1007/BFb0053567},
)
@inproceedings(HYC08,
 author       = {Kohei Honda and Nobuko Yoshida and Marco Carbone},
 year         = {2008},
 title        = {{Multiparty Asynchronous Session Types}},
 booktitle    = {POPL},
 publisher    = {ACM Press},
 pages        = {273--284},
 doi          = {10.1145/1328438.1328472},
)
@article(Honda2016,
 author       = {Kohei Honda and Nobuko Yoshida and Marco Carbone},
 year         = {2016},
 title        = {{Multiparty Asynchronous Session Types}},
 journal      = {Journal of the ACM},
 volume       = {63},
 number       = {1},
 pages        = {9},
 doi          = {10.1145/2827695},
)
@inproceedings(HY17,
 author       = {Raymond Hu and Nobuko Yoshida},
 year         = {2017},
 title        = {{Explicit Connection Actions in Multiparty Session Types}},
 booktitle    = {{FASE}},
 series       = {LNCS},
 volume       = {10202},
 publisher    = {Springer},
 pages        = {116--133},
 doi          = {10.1007/978-3-662-54494-5\_7},
)
@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},
)
@article(KozenS17,
 author       = {Dexter Kozen and Alexandra Silva},
 year         = {2017},
 title        = {{Practical Coinduction}},
 journal      = {Mathematical Structures in Computer Science},
 volume       = {27},
 number       = {7},
 pages        = {1132--1152},
 doi          = {10.1017/S0960129515000493},
)
@misc(LTPC,
 author       = {Ivan Lanese and Emilio Tuosto},
 title        = {Personal Communication},
)
@inproceedings(LT12,
 author       = {Julien Lange and Emilio Tuosto},
 year         = {2012},
 title        = {{Synthesising Choreographies from Local Session Types}},
 booktitle    = {CONCUR},
 series       = {LNCS},
 volume       = {7454},
 publisher    = {Springer},
 pages        = {225--239},
 doi          = {10.1007/978-3-642-32940-1\_17},
)
@inproceedings(LY17,
 author       = {Julien Lange and Nobuko Yoshida},
 year         = {2017},
 title        = {{On the Undecidability of Asynchronous Session Subtyping}},
 booktitle    = {FOSSACS},
 series       = {LNCS},
 volume       = {10203},
 publisher    = {Springer},
 pages        = {441--457},
 doi          = {10.1007/978-3-662-54458-7\_26},
)
@inproceedings(MYHesop09,
 author       = {Dimitris Mostrous and Nobuko Yoshida and Kohei Honda},
 year         = {2009},
 title        = {{Global Principal Typing in Partially Commutative Asynchronous Sessions}},
 booktitle    = {ESOP},
 series       = {LNCS},
 volume       = {5502},
 publisher    = {Springer},
 pages        = {316--332},
 doi          = {10.1007/978-3-642-00590-9\_23},
)
@book(pier02,
 author       = {Benjamin C. Pierce},
 year         = {2002},
 title        = {{Types and Programming Languages}},
 publisher    = {MIT Press},
)
@article(DS,
 author       = {Paula Severi and Dezani-Ciancaglini, Mariangiola},
 year         = {2019},
 title        = {{Observational Equivalence for Multiparty Sessions}},
 journal      = {Fundamenta Informaticae},
 volume       = {167},
 note         = {To appear},
)