@article(Aalst10cj,
 author       = "Wil M. P. van der Aalst and Niels Lohmann and Peter Massuthe and Christian Stahl and Karsten Wolf",
 year         = "2010",
 title        = "Multiparty Contracts: Agreeing and Implementing Interorganizational Processes",
 journal      = "Comput. J.",
 volume       = "53",
 number       = "1",
 pages        = "90--106",
 doi          = "10.1093/comjnl/bxn064",
)
@inproceedings(Barbanera10ppdp,
 author       = "Franco Barbanera and Ugo de'Liguoro",
 year         = "2010",
 title        = "Two notions of sub-behaviour for session-based client/server systems",
 booktitle    = "PPDP",
 pages        = "155--164",
 doi          = "10.1145/1836089.1836109",
)
@inproceedings(Barbanera14ice,
 author       = "Franco Barbanera and Ugo de'Liguoro",
 year         = "2014",
 title        = "Loosening the notions of compliance and sub-behaviour in client/server systems",
 booktitle    = "Proc. {ICE}",
 url          = "http://arxiv.org/abs/1311.5802",
)
@inproceedings(BCZ13post,
 author       = "Massimo Bartoletti and Tiziana Cimoli and Roberto Zunino",
 year         = "2013",
 title        = "A theory of agreements and protection",
 booktitle    = "Proc. {POST}",
 series       = "LNCS",
 volume       = "7796",
 publisher    = "Springer",
 pages        = "186--205",
 doi          = "10.1007/978-3-642-36830-1\_10",
)
@inproceedings(BSZ14concur,
 author       = "Massimo Bartoletti and Alceste Scalas and Roberto Zunino",
 year         = "2014",
 title        = "A semantic deconstruction of session types",
 booktitle    = "Proc. {CONCUR}",
 pages        = "402--418",
)
@inproceedings(BTZ12coordination,
 author       = "Massimo Bartoletti and Emilio Tuosto and Roberto Zunino",
 year         = "2012",
 title        = "On the Realizability of Contracts in Dishonest Systems",
 booktitle    = "Proc. {COORDINATION}",
 pages        = "245--260",
 doi          = "10.1007/978-3-642-30829-1\_17",
)
@inproceedings(Bravetti07fsen,
 author       = "Mario Bravetti and Gianluigi Zavattaro",
 year         = "2007",
 title        = "Contract Based Multi-party Service Composition",
 booktitle    = "Proc. {FSEN}",
 series       = "LNCS",
 volume       = "4767",
 pages        = "207--222",
 doi          = "10.1007/978-3-540-75698-9\_14",
)
@article(Castagna09toplas,
 author       = "Giuseppe Castagna and Nils Gesbert and Luca Padovani",
 year         = "2009",
 title        = "A theory of contracts for Web services",
 journal      = "{ACM} {TOPLAS}",
 volume       = "31",
 number       = "5",
 pages        = "19:1--19:61",
 doi          = "10.1145/1538917.1538920",
)
@inproceedings(Honda98esop,
 author       = "Kohei Honda and Vasco T. Vasconcelos and Makoto Kubo",
 year         = "1998",
 title        = "Language Primitives and Type Disciplines for Structured Communication-based Programming",
 booktitle    = "Proc. {ESOP}",
 pages        = "122--138",
 doi          = "10.1007/BFb0053567",
)
@inproceedings(Laneve07concur,
 author       = "Cosimo Laneve and Luca Padovani",
 year         = "2007",
 title        = "{T}he {\it must} {P}reorder {R}evisited",
 booktitle    = "{CONCUR}",
 pages        = "212--225",
 doi          = "10.1007/978-3-540-74407-8\_15",
)
@article(Padovani10tcs,
 author       = "Luca Padovani",
 year         = "2010",
 title        = "Contract-based discovery of Web services modulo simple orchestrators",
 journal      = "Theor. Comput. Sci.",
 volume       = "411",
 number       = "37",
 pages        = "3328--3347",
 doi          = "10.1016/j.tcs.2010.05.002",
)
@inproceedings(Winskel86,
 author       = "Glynn Winskel",
 year         = "1986",
 title        = "Event Structures",
 booktitle    = "Advances in {Petri} Nets",
 doi          = "10.1007/3-540-17906-2\_31",
)