@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",
)
@article(BdL13,
 author       = "Franco Barbanera and Ugo de' Liguoro",
 year         = "2014",
 title        = "{Sub-behaviour relations for session-based client/server systems}",
 journal      = "Math. Struct. in Comp. Science",
 note         = "To appear",
)
@article(BH13,
 author       = "Giovanni Bernardi and Matthew Hennessy",
 year         = "2014",
 title        = "Modelling session types using contracts",
 journal      = "Math. Struct. in Comp. Science",
 note         = "To appear",
)
@inproceedings(CCLP06,
 author       = "S. Carpineti and G. Castagna and C. Laneve and L. Padovani",
 year         = "2006",
 title        = "A formal account of contracts for {Web} {S}ervices",
 booktitle    = "WS-FM",
 series       = "LNCS",
 volume       = "4184",
 publisher    = "Springer",
 pages        = "148--162",
 doi          = "10.1007/11841197\_10",
)
@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(honda.vasconcelos.kubo:language-primitives,
 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(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       = "I. Lanese and C. A. Mezzina and A. Schmitt and J.-B. 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",
)
@book(M89,
 author       = "Robin Milner",
 year         = "1989",
 title        = "Communication and concurrency",
 series       = "PHI Series in computer science",
 publisher    = "Prentice Hall",
)
@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",
)