@article(BDL16,
 author       = {Franco Barbanera and Mariangiola Dezani-Ciancaglini and Ugo de'Liguoro},
 year         = {2016},
 title        = {Reversible client/server interactions},
 journal      = {Formal Aspects of Computing},
 volume       = {28},
 number       = {4},
 pages        = {697--722},
 doi          = {10.1007/s00165-016-0358-2},
)
@inproceedings(BDLdL15,
 author       = {Franco Barbanera and Mariangiola Dezani{-}Ciancaglini and Ivan Lanese and Ugo de' Liguoro},
 year         = {2016},
 title        = {Retractable Contracts},
 booktitle    = {PLACES},
 series       = {{EPTCS}},
 volume       = {203},
 pages        = {61--72},
 doi          = {10.4204/EPTCS.203},
)
@article(BdL13,
 author       = {Franco Barbanera and Ugo de' Liguoro},
 year         = {2015},
 title        = {{Sub-behaviour relations for session-based client/server systems}},
 journal      = {Mathematical Structures in Computer Science},
 volume       = {25},
 number       = {6},
 pages        = {1339--1381},
 doi          = {10.1017/S096012951400005X},
)
@article(BH13,
 author       = {Giovanni Bernardi and Matthew Hennessy},
 year         = {2016},
 title        = {Modelling session types using contracts},
 journal      = {Mathematical Structures in Computer Science},
 volume       = {26},
 number       = {3},
 pages        = {510--560},
 doi          = {10.1017/S0960129514000243},
)
@article(CDPY16,
 author       = {Mario Coppo and Mariangiola Dezani-Ciancaglini 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},
)
@inproceedings(DK04,
 author       = {Vincent Danos and Jean Krivine},
 year         = {2004},
 title        = {Reversible Communicating Systems},
 booktitle    = {CONCUR},
 series       = {LNCS},
 volume       = {3170},
 publisher    = {Springer},
 pages        = {292--307},
 doi          = {10.1007/978-3-540-28644-8\_19},
)
@inproceedings(VriesKH10,
 author       = {Edsko {de Vries} and Vasileios Koutavas and Matthew Hennessy},
 year         = {2010},
 title        = {Communicating Transactions - (Extended Abstract)},
 booktitle    = {CONCUR},
 series       = {LNCS},
 volume       = {6269},
 publisher    = {Springer},
 pages        = {569--583},
 doi          = {10.1007/978-3-642-15375-4\_39},
)
@inproceedings(VKH10b,
 author       = {Edsko {de Vries} and Vasileios Koutavas and Matthew Hennessy},
 year         = {2010},
 title        = {Liveness of Communicating Transactions - (Extended Abstract)},
 booktitle    = {APLAS},
 series       = {LNCS},
 volume       = {6461},
 publisher    = {Springer},
 pages        = {392--407},
 doi          = {10.1007/978-3-642-17164-2\_27},
)
@inproceedings(DY11,
 author       = {Pierre-Malo Deni{\'e}lou and Nobuko Yoshida},
 year         = {2011},
 title        = {{Dynamic Multirole Session Types}},
 booktitle    = {POPL},
 publisher    = {ACM Press},
 pages        = {435--446},
 doi          = {10.1145/1926385.1926435},
)
@inproceedings(DGJPY16,
 author       = {Mariangiola Dezani{-}Ciancaglini and Silvia Ghilezan and Svetlana Jaksic and Jovanka Pantovic and Nobuko Yoshida},
 year         = {2016},
 title        = {Precise subtyping for synchronous multiparty sessions},
 booktitle    = {PLACES},
 series       = {{EPTCS}},
 volume       = {203},
 pages        = {29--43},
 doi          = {10.4204/EPTCS.203.3},
)
@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},
)
@inproceedings(HVK98,
 author       = {Kohei Honda and Vasco T. Vasconcelos and Makoto Kubo},
 year         = {1998},
 title        = {Language Primitives and Type Disciplines for Structured Communication-based Programming},
 booktitle    = {ESOP},
 series       = {LNCS},
 volume       = {1381},
 publisher    = {Springer},
 pages        = {22--138},
 doi          = {10.1007/BFb0053567},
)
@inproceedings(CHY08,
 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/1328897.1328472},
)
@inproceedings(KSH14,
 author       = {Vasileios Koutavas and Carlo Spaccasassi and Matthew Hennessy},
 year         = {2014},
 title        = {Bisimulations for Communicating Transactions - (Extended Abstract)},
 booktitle    = {FOSSACS},
 series       = {LNCS},
 volume       = {8412},
 publisher    = {Springer},
 pages        = {320--334},
 doi          = {10.1007/978-3-642-54830-7\_21},
)
@inproceedings(LMSS11,
 author       = {Ivan Lanese and Claudio Antares Mezzina and Alan Schmitt and Jean-Bernard Stefani},
 year         = {2011},
 title        = {Controlling Reversibility in Higher-Order Pi},
 booktitle    = {CONCUR},
 series       = {LNCS},
 volume       = {6901},
 publisher    = {Springer},
 pages        = {297--311},
 doi          = {10.1007/978-3-642-23217-6\_20},
)
@inproceedings(LMS10,
 author       = {Ivan Lanese and Claudio Antares Mezzina and Jean-Bernard Stefani},
 year         = {2010},
 title        = {Reversing Higher-Order Pi},
 booktitle    = {CONCUR},
 series       = {LNCS},
 volume       = {6269},
 publisher    = {Springer},
 pages        = {478--493},
 doi          = {10.1007/978-3-642-15375-4\_33},
)
@inproceedings(MP16,
 author       = {Claudio A. Mezzina and Jorge A. P\'erez},
 year         = {2016},
 title        = {Reversible Sessions Using Monitors},
 booktitle    = {PLACES},
 series       = {{EPTCS}},
 volume       = {211},
 pages        = {56--64},
 doi          = {10.4204/EPTCS.211.6},
)
@book(M89,
 author       = {Robin Milner},
 year         = {1989},
 title        = {Communication and concurrency},
 series       = {PHI Series in computer science},
 publisher    = {Prentice Hall},
)
@inproceedings(P11,
 author       = {Luca Padovani},
 year         = {2011},
 title        = {Session Types = Intersection Types + Union Types},
 booktitle    = {ITRS},
 series       = {EPTCS},
 volume       = {45},
 pages        = {71--89},
 doi          = {10.4204/EPTCS.45.6},
)
@article(PU07,
 author       = {Iain C. C. Phillips and Irek Ulidowski},
 year         = {2007},
 title        = {Reversing algebraic process calculi},
 journal      = {Journal of Logic and Algebraic Methods in Programming},
 volume       = {73},
 number       = {1-2},
 pages        = {70--96},
 doi          = {10.1016/j.jlap.2006.11.002},
)
@book(pier02,
 author       = {Benjamin C. Pierce},
 year         = {2002},
 title        = {Types and Programming Languages},
 publisher    = {MIT Press},
)
@article(TY15,
 author       = {Francesco Tiezzi and Nobuko Yoshida},
 year         = {2015},
 title        = {Reversible Session-Based Pi-Calculus},
 journal      = {Journal of Logical and Algebraic Methods in Programming},
 volume       = {84},
 number       = {5},
 pages        = {684--707},
 doi          = {10.1016/j.jlamp.2015.03.004},
)
@inproceedings(TY16,
 author       = {Francesco Tiezzi and Nobuko Yoshida},
 year         = {2016},
 title        = {Reversing Single Sessions},
 booktitle    = {RC},
 series       = {LNCS},
 volume       = {9720},
 publisher    = {Springer},
 pages        = {52--69},
 doi          = {10.1007/978-3-319-40578-0\_4},
)