@inproceedings(BdL10,
 author       = {Franco Barbanera and Ugo de'Liguoro},
 year         = {2010},
 title        = {{Two Notions of Sub-behaviour for Session-based Client/Server Systems}},
 booktitle    = {PPDP},
 publisher    = {ACM Press},
 pages        = {155--164},
 doi          = {10.1145/1836089.1836109},
)
@inproceedings(BarbaneraDdL14,
 author       = {Franco Barbanera and Dezani{-}Ciancaglini, Mariangiola and Ugo de'Liguoro},
 year         = {2014},
 title        = {{Compliance for Reversible Client/Server Interactions}},
 booktitle    = {BEAT},
 series       = {{EPTCS}},
 volume       = {162},
 pages        = {35--42},
 doi          = {10.4204/EPTCS.162.5},
)
@article(BH13,
 author       = {Giovanni Bernardi and Matthew Hennessy},
 year         = {2014},
 title        = {{Modelling Session Types using Contracts}},
 journal      = {Math. Struct. in Comp. Science},
 doi          = {10.1017/S0960129514000243},
 note         = {To appear},
)
@inproceedings(CapecchiGY10,
 author       = {Sara Capecchi and Elena Giachino and Nobuko Yoshida},
 year         = {2010},
 title        = {Global Escape in Multiparty Sessions},
 booktitle    = {FSTTCS},
 series       = {LIPIcs},
 volume       = {8},
 publisher    = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik},
 pages        = {338--351},
 doi          = {10.4230/LIPIcs.FSTTCS.2010.338},
)
@inproceedings(CarboneHY08,
 author       = {Marco Carbone and Kohei Honda and Nobuko Yoshida},
 year         = {2008},
 title        = {Structured Interactional Exceptions in Session Types},
 booktitle    = {CONCUR},
 series       = {LNCS},
 volume       = {5201},
 publisher    = {Springer},
 pages        = {402--417},
 doi          = {10.1007/978-3-540-85361-9\_32},
)
@article(CGP10,
 author       = {Giuseppe Castagna and Nils Gesbert and Luca Padovani},
 year         = {2009},
 title        = {{A Theory of Contracts for Web Services}},
 journal      = {ACM Trans. on Prog. Lang. and Sys.},
 volume       = {31},
 number       = {5},
 pages        = {19:1--19:61},
 doi          = {10.1145/1538917.1538920},
)
@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(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/1328897.1328472},
)
@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},
)
@article(LMT14,
 author       = {Ivan Lanese and Claudio Antares Mezzina and Francesco Tiezzi},
 year         = {2014},
 title        = {Causal-Consistent Reversibility},
 journal      = {Bulletin of the {EATCS}},
 volume       = {114},
)
@inproceedings(LaneveP08,
 author       = {Cosimo Laneve and Luca Padovani},
 year         = {2008},
 title        = {The Pairing of Contracts and Session Types},
 booktitle    = {Concurrency, Graphs and Models},
 series       = {LNCS},
 volume       = {5065},
 pages        = {681--700},
 doi          = {10.1007/978-3-540-68679-8\_42},
)
@article(PU07,
 author       = {Iain C. C. Phillips and Irek Ulidowski},
 year         = {2007},
 title        = {{Reversing Algebraic Process Calculi}},
 journal      = {J. of Logic and Alg. Progr.},
 volume       = {73},
 number       = {1-2},
 pages        = {70--96},
 doi          = {10.1016/j.jlap.2006.11.002},
)
@inproceedings(TY14,
 author       = {Francesco Tiezzi and Nobuko Yoshida},
 year         = {2014},
 title        = {Towards Reversible Sessions},
 booktitle    = {PLACES},
 series       = {EPTCS},
 volume       = {155},
 pages        = {17--24},
 doi          = {10.4204/EPTCS.155.3},
)
@article(TY15,
 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},
)
@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},
)