@article(BD91,
 author       = "Eric Badouel and Philippe Darondeau",
 year         = "1991",
 title        = "On Guarded Recursion.",
 journal      = "Theor. Comput. Sci.",
 volume       = "82",
 number       = "2",
 pages        = "403--408",
 doi          = "10.1016/0304-3975(91)90231-P",
)
@inproceedings(BdL10,
 author       = "Franco Barbanera and Ugo de'Liguoro",
 year         = "2010",
 title        = "Two notions of sub-behaviour for session-based client/server systems",
 booktitle    = "Proceedings of PPDP'10",
 publisher    = "ACM",
 pages        = "155--164",
 doi          = "10.1145/1836089.1836109",
)
@inproceedings(BDdL14,
 author       = "Franco Barbanera and Mariangiola Dezani and Ugo de' Liguoro",
 year         = "2014",
 title        = "Compliance for reversible client/server interactions",
 booktitle    = "Proceedings of BEAT 2014",
 series       = "EPTCS",
 note         = "To appear",
)
@article(BdL13,
 author       = "Franco Barbanera and Ugo de' Liguoro",
 year         = "2013",
 title        = "{Sub-behaviour relations for session-based client/server systems}",
 journal      = "MSCS",
 note         = "To appear",
)
@article(BH13,
 author       = "Giovanni Bernardi and Matthew Hennessy",
 year         = "2013",
 title        = "Modelling session types using contracts",
 journal      = "To appear in Mathematical Structures in Computer Science",
)
@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, 3rd Int.\ Workshop on Web Services and Formal Methods",
 series       = "LNCS",
 volume       = "4184",
 publisher    = "Springer",
 pages        = "148--162",
 doi          = "10.1007/11841197\_10",
)
@inproceedings(CGP08,
 author       = "G. Castagna and N. Gesbert and L. Padovani",
 year         = "2008",
 title        = "A Theory of Contracts for Web Services",
 booktitle    = "POPL~'08, 35th ACM Symposium on Principles of Programming Languages",
 doi          = "10.1145/1328438.1328471",
)
@inproceedings(CP09,
 author       = "G. Castagna and N. Gesbert and L. Padovani",
 year         = "2009",
 title        = "Contracts for mobile processes",
 booktitle    = "Proceedings of the 20th International Conference on Concurrency Theory (CONCUR'09)",
 series       = "LNCS",
 volume       = "5710",
 publisher    = "Springer",
 pages        = "211--228",
 doi          = "10.1145/1538917.1538920",
)
@article(CGP10,
 author       = "Giuseppe Castagna and Nils Gesbert and Luca Padovani",
 year         = "2009",
 title        = "A theory of contracts for Web services",
 journal      = "ACM Trans. Program. Lang. Syst.",
 volume       = "31",
 number       = "5",
 pages        = "19:1--19:61",
 doi          = "10.1145/1538917.1538920",
)
@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(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'98",
 series       = "LNCS",
 volume       = "1381",
 publisher    = "Springer-Verlag",
 pages        = "22--138",
 doi          = "10.1007/BFb0053567",
)
@inproceedings(LP07,
 author       = "Cosimo Laneve and Luca Padovani",
 year         = "2007",
 title        = "{The Must Preorder Revisited: An Algebraic Theory for Web Services Contracts}",
 booktitle    = "CONCUR'07",
 series       = "LNCS",
 volume       = "4703",
 publisher    = "Springer-Verlag",
 pages        = "212--225",
 doi          = "10.1007/978-3-540-74407-8\_15",
)
@inproceedings(DeNicolaH83,
 author       = "Rocco De Nicola and Matthew Hennessy",
 year         = "1983",
 title        = "Testing Equivalence for Processes",
 booktitle    = "ICALP",
 series       = "LNCS",
 volume       = "154",
 publisher    = "Springer",
 pages        = "548--560",
 doi          = "10.1007/BFb0036936",
)
@article(Padovani10,
 author       = "Luca Padovani",
 year         = "2010",
 title        = "{C}ontract-{B}ased {D}iscovery of {W}eb {S}ervices {M}odulo {S}imple {O}rchestrators",
 journal      = "Theoretical Computer Science",
 volume       = "411",
 pages        = "3328--3347",
 doi          = "10.1016/j.tcs.2010.05.002",
)
@inproceedings(PierceSangiorgi95,
 author       = "Benjamin C. Pierce and Davide Sangiorgi",
 year         = "1996",
 title        = "Typing and Subtyping for Mobile Processes",
 journal      = "Mathematical Structures in Computer Science",
 volume       = "6, No.\ 5",
)
@article(Sangio09,
 author       = "Davide Sangiorgi",
 year         = "2009",
 title        = "On the origins of bisimulation and coinduction",
 journal      = "ACM Trans. Program. Lang. Syst.",
 volume       = "31",
 number       = "4",
 doi          = "10.1145/1516507.1516510",
)
@article(Tar55,
 author       = "Alfred Tarski",
 year         = "1955",
 title        = "A lattice-theoretical fixpoint theorem and its applications",
 journal      = "Pac. J. Math.",
 volume       = "5",
 pages        = "285–309",
 doi          = "10.2140/pjm.1955.5.285",
)