@inproceedings(BDLL15,
 author       = {Franco Barbanera and Dezani-Ciancaglini, Mariangiola and Ivan Lanese and Ugo de'Liguoro},
 year         = {2016},
 title        = {Retractable Contracts},
 editor       = {Simon Gay and Jade Alglave},
 booktitle    = {PLACES 2015},
 series       = {Electronic Proceedings in Theoretical Computer Science},
 volume       = {203},
 publisher    = {Open Publishing Association},
 pages        = {61--72},
 doi          = {10.4204/EPTCS.203.5},
)
@inproceedings(DBLP:conf/forte/BocchiCDHY13,
 author       = {Laura Bocchi and Tzu{-}Chun Chen and Romain Demangeon and Kohei Honda and Nobuko Yoshida},
 year         = {2013},
 title        = {Monitoring Networks through Multiparty Session Types},
 booktitle    = {Proc. of {FMOODS/FORTE} 2013},
 series       = {Lecture Notes in Computer Science},
 volume       = {7892},
 publisher    = {Springer},
 pages        = {50--65},
 doi          = {10.1007/978-3-642-38592-6\_5},
)
@inproceedings(DBLP:conf/tgc/CairesFV08,
 author       = {Lu{\'{\i}}s Caires and Carla Ferreira and Hugo Torres Vieira},
 year         = {2009},
 title        = {A Process Calculus Analysis of Compensations},
 booktitle    = {{TGC} 2008},
 series       = {LNCS},
 volume       = {5474},
 publisher    = {Springer},
 pages        = {87--103},
 doi          = {10.1007/978-3-642-00945-7\_6},
)
@article(DBLP:journals/tcs/CairesV10,
 author       = {Lu{\'{\i}}s Caires and Hugo Torres Vieira},
 year         = {2010},
 title        = {Conversation types},
 journal      = {Theor. Comput. Sci.},
 volume       = {411},
 number       = {51-52},
 pages        = {4399--4440},
 doi          = {10.1016/j.tcs.2010.09.010},
)
@inproceedings(DBLP:journals/corr/abs-1108-4465,
 author       = {Sara Capecchi and Ilaria Castellani and Dezani{-}Ciancaglini, Mariangiola},
 year         = {2011},
 title        = {Information Flow Safety in Multiparty Sessions},
 booktitle    = {Proc. of {EXPRESS} 2011},
 series       = {{EPTCS}},
 volume       = {64},
 pages        = {16--30},
 doi          = {10.4204/EPTCS.64.2},
)
@article(DBLP:journals/mscs/CapecchiGY16,
 author       = {Sara Capecchi and Elena Giachino and Nobuko Yoshida},
 year         = {2016},
 title        = {Global escape in multiparty sessions},
 journal      = {Mathematical Structures in Computer Science},
 volume       = {26},
 number       = {2},
 pages        = {156--205},
 doi          = {10.1017/S0960129514000164},
)
@inproceedings(CardelliL11,
 author       = {Luca Cardelli and Cosimo Laneve},
 year         = {2011},
 title        = {Reversible structures},
 booktitle    = {Proc. of {CMSB} 2011},
 pages        = {131--140},
 doi          = {10.1145/2037509.2037529},
)
@inproceedings(DBLP:journals/corr/CastellaniDP14,
 author       = {Ilaria Castellani and Dezani{-}Ciancaglini, Mariangiola and Jorge A. P{\'{e}}rez},
 year         = {2014},
 title        = {Self-Adaptation and Secure Information Flow in Multiparty Structured Communications: {A} Unified Perspective},
 booktitle    = {{BEAT} 2014},
 series       = {{EPTCS}},
 volume       = {162},
 pages        = {9--18},
 doi          = {10.4204/EPTCS.162.2},
)
@article(DBLP:journals/soca/CoppoDV15,
 author       = {Mario Coppo and Dezani{-}Ciancaglini, Mariangiola and Betti Venneri},
 year         = {2015},
 title        = {Self-adaptive multiparty sessions},
 journal      = {Service Oriented Computing and Applications},
 volume       = {9},
 number       = {3-4},
 pages        = {249--268},
 doi          = {10.1007/s11761-014-0171-9},
)
@inproceedings(DBLP:conf/lics/CristescuKV13,
 author       = {Ioana Cristescu and Jean Krivine and Daniele Varacca},
 year         = {2013},
 title        = {A Compositional Semantics for the Reversible p-Calculus},
 booktitle    = {Proc. of {LICS}2013},
 publisher    = {{IEEE} Computer Society},
 pages        = {388--397},
 doi          = {10.1109/LICS.2013.45},
)
@inproceedings(DanosK04,
 author       = {Vincent Danos and Jean Krivine},
 year         = {2004},
 title        = {Reversible Communicating Systems},
 booktitle    = {Proc. of {CONCUR} 2004},
 series       = {LNCS},
 publisher    = {Springer},
 pages        = {292--307},
 doi          = {10.1007/978-3-540-28644-8\_19},
)
@article(DBLP:journals/fmsd/DemangeonHHNY15,
 author       = {Romain Demangeon and Kohei Honda and Raymond Hu and Rumyana Neykova and Nobuko Yoshida},
 year         = {2015},
 title        = {Practical interruptible conversations: distributed dynamic verification with multiparty session types and Python},
 journal      = {Formal Methods in System Design},
 volume       = {46},
 number       = {3},
 pages        = {197--225},
 doi          = {10.1007/s10703-014-0218-8},
)
@techreport(digiusto:hal-01093090,
 author       = {Di Giusto, Cinzia and Jorge A. P\'{e}rez},
 year         = {2014},
 title        = {{An Event-Based Approach to Runtime Adaptation in Communication-Centric Systems}},
 type         = {Research Report},
 institution  = {{Universite de Nice Sophia-Antipolis (UNS) ; University of Groningen}},
 url          = {https://hal.archives-ouvertes.fr/hal-01093090},
 note         = {To appear in Post-proc. of WS-FM 2014 (Springer LNCS)},
)
@article(DBLP:journals/scp/GiustoP15,
 author       = {Cinzia Di Giusto and Jorge A. P{\'{e}}rez},
 year         = {2015},
 title        = {Disciplined structured communications with disciplined runtime adaptation},
 journal      = {Sci. Comput. Program.},
 volume       = {97},
 pages        = {235--265},
 doi          = {10.1016/j.scico.2014.04.017},
)
@inproceedings(DBLP:conf/esop/HondaVK98,
 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'98},
 series       = {LNCS},
 volume       = {1381},
 publisher    = {Springer},
 pages        = {122--138},
 doi          = {10.1007/BFb0053567},
)
@inproceedings(DBLP:conf/popl/HondaYC08,
 author       = {Kohei Honda and Nobuko Yoshida and Marco Carbone},
 year         = {2008},
 title        = {Multiparty asynchronous session types},
 booktitle    = {{POPL} 2008},
 publisher    = {{ACM}},
 pages        = {273--284},
 doi          = {10.1145/1328438.1328472},
)
@inproceedings(DBLP:conf/ecoop/HuKPYH10,
 author       = {Raymond Hu and Dimitrios Kouzapas and Olivier Pernet and Nobuko Yoshida and Kohei Honda},
 year         = {2010},
 title        = {Type-Safe Eventful Sessions in Java},
 booktitle    = {Proc. of {ECOOP} 2010},
 series       = {LNCS},
 volume       = {6183},
 publisher    = {Springer},
 pages        = {329--353},
 doi          = {10.1007/978-3-642-14107-2\_16},
)
@inproceedings(LGP2016,
 author       = {Limin Jia and Hannah Gommerstadt and Frank Pfenning},
 year         = {2016},
 title        = {Monitors and blame assignment for higher-order session types},
 booktitle    = {{POPL} 2016},
 publisher    = {{ACM}},
 pages        = {582--594},
 doi          = {10.1145/2837614.2837662},
)
@mastersthesis(Kouzapas09,
 author       = {Dimitrios Kouzapas},
 year         = {2009},
 title        = {{A Session Type Discipline for Event Driven Programming Models}},
 school       = {Imperial College London},
 url          = {http://www.doc.ic.ac.uk/teaching/distinguished-projects/2009/d.kouzapas.pdf},
)
@inproceedings(KPY2016,
 author       = {Dimitrios Kouzapas and Jorge A. P\'{e}rez and Nobuko Yoshida},
 year         = {2016},
 title        = {On the Relative Expressiveness of Higher-Order Session Processes},
 booktitle    = {ESOP 2016},
 series       = {LNCS},
 publisher    = {Springer},
 note         = {To appear},
)
@inproceedings(DBLP:conf/forte/KouzapasYH11,
 author       = {Dimitrios Kouzapas and Nobuko Yoshida and Kohei Honda},
 year         = {2011},
 title        = {On Asynchronous Session Semantics},
 booktitle    = {Proc. of {FMOODS} 2011 and {FORTE} 2011},
 series       = {LNCS},
 volume       = {6722},
 publisher    = {Springer},
 pages        = {228--243},
 doi          = {10.1007/978-3-642-21461-5\_15},
)
@inproceedings(LaneseMSS11,
 author       = {Ivan Lanese and Claudio Antares Mezzina and Alan Schmitt and Jean{-}Bernard Stefani},
 year         = {2011},
 title        = {Controlling Reversibility in Higher-Order Pi},
 booktitle    = {Proc. of {CONCUR} 2011},
 series       = {LNCS},
 publisher    = {Springer},
 pages        = {297--311},
 doi          = {10.1007/978-3-642-23217-6\_20},
)
@inproceedings(LaneseMS10,
 author       = {Ivan Lanese and Claudio Antares Mezzina and Jean{-}Bernard Stefani},
 year         = {2010},
 title        = {Reversing Higher-Order Pi},
 booktitle    = {Proc. of {CONCUR} 2010},
 series       = {LNCS},
 publisher    = {Springer},
 pages        = {478--493},
 doi          = {10.1007/978-3-642-15375-4\_33},
)
@inproceedings(LienhardtLMS12,
 author       = {Michael Lienhardt and Ivan Lanese and Claudio Antares Mezzina and Jean{-}Bernard Stefani},
 year         = {2012},
 title        = {A Reversible Abstract Machine and Its Space Overhead},
 booktitle    = {Proc. of {FMOODS/FORTE} 2012},
 series       = {LNCS},
 publisher    = {Springer},
 pages        = {1--17},
 doi          = {10.1007/978-3-642-30793-5\_1},
)
@article(DBLP:journals/jlp/TiezziY15,
 author       = {Francesco Tiezzi and Nobuko Yoshida},
 year         = {2015},
 title        = {Reversible session-based pi-calculus},
 journal      = {J. Log. Algebr. Meth. Program.},
 volume       = {84},
 number       = {5},
 pages        = {684--707},
 doi          = {10.1016/j.jlamp.2015.03.004},
)