@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",
)
@article(Abadi93access,
 author       = "Mart{\'\i }n Abadi and Michael Burrows and Butler Lampson and Gordon Plotkin",
 year         = "1993",
 title        = "A calculus for access control in distributed systems",
 journal      = "{ACM} {TOPLAS}",
 volume       = "4",
 number       = "15",
 pages        = "706--734",
 doi          = "10.1145/155183.155225",
)
@article(Abadi93logical,
 author       = "Mart\'{\i }n Abadi and Gordon D. Plotkin",
 year         = "1993",
 title        = "A Logical View of Composition",
 journal      = "Theoretical Computer Science",
 volume       = "114",
 number       = "1",
 pages        = "3--30",
 doi          = "10.1016/0304-3975(93)90151-I",
)
@article(Armbrust10cacm,
 author       = "Michael Armbrust",
 year         = "2010",
 title        = "A view of cloud computing",
 journal      = "Comm. ACM",
 volume       = "53",
 number       = "4",
 pages        = "50--58",
 doi          = "10.1145/1721654.1721672",
)
@misc(ces-pcl-long,
 author       = "Massimo Bartoletti and Tiziana Cimoli and Paolo Di Giamberardino and Roberto Zunino",
 title        = "Contract agreements via logic",
 note         = "Available online at \texttt {tcs.unica.it/papers/ces-pcl-long.pdf}",
)
@inproceedings(BCP13fsen,
 author       = "Massimo Bartoletti and Tiziana Cimoli and G. Michele Pinna",
 year         = "2013",
 title        = "Lending {P}etri nets and contracts",
 booktitle    = "Proc. {FSEN}",
 series       = "LNCS",
 volume       = "8161",
 publisher    = "Springer",
 doi          = "10.1007/978-3-642-40213-5\_5",
)
@unpublished(BCPZ13fi,
 author       = "Massimo Bartoletti and Tiziana Cimoli and G. Michele Pinna and Roberto Zunino",
 title        = "Circular causality in event structures",
 note         = "Submitted. Available online at \texttt {tcs.unica.it/papers/ces-long.pdf}. A preliminary version of this paper has been presented at {ICTCS} 2012",
)
@inproceedings(BCPZ12places,
 author       = "Massimo Bartoletti and Tiziana Cimoli and G. Michele Pinna and Roberto Zunino",
 year         = "2012",
 title        = "An event-based model for contracts",
 booktitle    = "Proc. {PLACES}",
 doi          = "10.4204/EPTCS.109.3",
)
@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",
 doi          = "10.1007/978-3-642-36830-1\_10",
)
@article(BTZ12sacs,
 author       = "Massimo Bartoletti and Emilio Tuosto and Roberto Zunino",
 year         = "2012",
 title        = "Contract-oriented Computing in {CO}${}_2$",
 journal      = "Scientific Annals in Computer Science",
 volume       = "22",
 number       = "1",
 pages        = "5--60",
 doi          = "10.7561/SACS.2012.1.5",
)
@inproceedings(BZ10lics,
 author       = "Massimo Bartoletti and Roberto Zunino",
 year         = "2010",
 title        = "A Calculus of Contracting Processes",
 booktitle    = "{LICS}",
 doi          = "10.1109/LICS.2010.25",
)
@inproceedings(bhty10,
 author       = "Laura Bocchi and Kohei Honda and Emilio Tuosto and Nobuko Yoshida",
 year         = "2010",
 title        = "A theory of design-by-contract for distributed multiparty interactions",
 booktitle    = "CONCUR",
 doi          = "10.1007/978-3-642-15375-4\_12",
)
@inproceedings(Bravetti08tgc,
 author       = "Mario Bravetti and Ivan Lanese and Gianluigi Zavattaro",
 year         = "2008",
 title        = "Contract-Driven Implementation of Choreographies",
 booktitle    = "Proc. {TGC}",
 pages        = "1--18",
 doi          = "10.1007/978-3-642-00945-7\_1",
)
@inproceedings(Bravetti07fsen,
 author       = "Mario Bravetti and Gianluigi Zavattaro",
 year         = "2007",
 title        = "Contract Based Multi-party Service Composition",
 booktitle    = "Proc. {FSEN}",
 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",
 doi          = "10.1145/1538917.1538920",
)
@inproceedings(bpel4chor,
 author       = "G. Decker and O. Kopp and F. Leymann and M Weske",
 year         = "2007",
 title        = "{BPEL4Chor}: Extending {BPEL} for Modeling Choreographies",
 booktitle    = "Proc. {ICWS}",
)
@article(Gelati04normative,
 author       = "Jonathan Gelati and Antonino Rotolo and Giovanni Sartor and Guido Governatori",
 year         = "2004",
 title        = "Normative autonomy and normative co-ordination: Declarative power, representation, and mandate",
 journal      = "Artificial Intelligence and Law",
 volume       = "12",
 number       = "1-2",
 pages        = "53--81",
 doi          = "10.1007/s10506-004-1922-2",
)
@inproceedings(Hildebrandt10places,
 author       = "Thomas T. Hildebrandt and Raghava Rao Mukkamala",
 year         = "2010",
 title        = "Declarative Event-Based Workflow as Distributed Dynamic Condition Response Graphs",
 booktitle    = "Proc. {PLACES}",
 doi          = "10.4204/EPTCS.69.5",
)
@incollection(scribble,
 author       = "Kohei Honda and Aybek Mukhamedov and Gary Brown and Tzu-Chun Chen and Nobuko Yoshida",
 year         = "2011",
 title        = "Scribbling Interactions with a Formal Foundation",
 booktitle    = "Distributed Computing and Internet Technology",
 series       = "LNCS",
 volume       = "6536",
 publisher    = "Springer",
 pages        = "55--75",
 doi          = "10.1007/978-3-642-19056-8\_4",
)
@inproceedings(Honda08popl,
 author       = "Kohei Honda and Nobuko Yoshida and Marco Carbone",
 year         = "2008",
 title        = "Multiparty asynchronous session types",
 booktitle    = "POPL",
 pages        = "273--284",
 doi          = "10.1145/1328438.1328472",
)
@misc(wscdl,
 author       = "N. Kavantzas and D. Burdett and G. Ritzinger and T. Fletcher and Y. Lafon and C Barreto",
 year         = "2005",
 title        = "{Web} {Services} {Choreography} {Description} {Language} V.~1.0",
)
@article(Lomuscio11fi,
 author       = "Alessio Lomuscio and Wojciech Penczek and Monika Solanki and Maciej Szreter",
 year         = "2011",
 title        = "Runtime Monitoring of Contract Regulated Web Services",
 journal      = "Fundam. Inform.",
 volume       = "111",
 number       = "3",
 doi          = "10.3233/FI-2011-566",
)
@article(Prisacariu11jlap,
 author       = "Cristian Prisacariu and Gerardo Schneider",
 year         = "2012",
 title        = "A Dynamic Deontic Logic for Complex Contracts",
 journal      = "The Journal of Logic and Algebraic Programming ({JLAP})",
 volume       = "81",
 number       = "4",
 doi          = "10.1016/j.jlap.2012.03.003",
)
@inproceedings(Raimondi08fse,
 author       = "Franco Raimondi and James Skene and Wolfgang Emmerich",
 year         = "2008",
 title        = "Efficient online monitoring of web-service SLAs",
 booktitle    = "{SIGSOFT} {FSE}",
 doi          = "10.1145/1453101.1453125",
)
@article(Statman79pspace,
 author       = "Richard Statman",
 year         = "1979",
 title        = "Intuitionistic propositional logic is polynomial-space complete",
 journal      = "Theoretical Computer Science",
 volume       = "9",
 pages        = "67--72",
 doi          = "10.1016/0304-3975(79)90006-9",
)
@inproceedings(Winskel86,
 author       = "Glynn Winskel",
 year         = "1986",
 title        = "Event Structures",
 booktitle    = "Advances in {Petri} Nets",
 pages        = "325--392",
 doi          = "10.1007/3-540-17906-2\_31",
)