@article(Artikis09jlap,
 author       = "Alexander Artikis and Marek J. Sergot and Jeremy V. Pitt",
 year         = "2009",
 title        = "Specifying norm-governed computational societies",
 journal      = "ACM Trans. Comput. Log.",
 volume       = "10",
 number       = "1",
 doi          = "10.1145/1459010.1459011",
)
@inproceedings(BCPZ12ictcs,
 author       = "Massimo Bartoletti and Tiziana Cimoli and G. Michele Pinna and Roberto Zunino",
 year         = "2012",
 title        = "Circular Causality in Event Structures",
 booktitle    = "{ICTCS}",
)
@inproceedings(BTZ11ice,
 author       = "Massimo Bartoletti and Emilio Tuosto and Roberto Zunino",
 year         = "2011",
 title        = "Contracts in Distributed Systems",
 booktitle    = "Proc. {ICE}",
 series       = "EPTCS",
 volume       = "59",
 pages        = "130--147",
 doi          = "10.4204/EPTCS.59.11",
)
@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}",
 series       = "LNCS",
 volume       = "7274",
 publisher    = "Springer",
 doi          = "10.1007/978-3-642-30829-1\_17",
)
@techreport(PCLtr,
 author       = "Massimo Bartoletti and Roberto Zunino",
 year         = "2009",
 title        = "A logic for contracts",
 type         = "Technical Report",
 number       = "DISI-09-034",
 institution  = "{DISI} - Univ.\ Trento",
)
@inproceedings(BZ10lics,
 author       = "Massimo Bartoletti and Roberto Zunino",
 year         = "2010",
 title        = "A Calculus of Contracting Processes",
 booktitle    = "Proc. {LICS}",
 publisher    = "IEEE Computer Society",
 doi          = "10.1109/LICS.2010.25",
)
@inproceedings(Bravetti07sc,
 author       = "Mario Bravetti and Gianluigi Zavattaro",
 year         = "2007",
 title        = "Towards a Unifying Theory for Choreography Conformance and Contract Compliance",
 booktitle    = "Software Composition",
 doi          = "10.1007/978-3-540-77351-1\_4",
)
@inproceedings(Buscemi07transactional,
 author       = "Maria Grazia Buscemi and Hern{\'a}n C. Melgratti",
 year         = "2008",
 title        = "Transactional Service Level Agreement",
 booktitle    = "Proc. {TGC}",
 series       = "LNCS",
 volume       = "4912",
 publisher    = "Springer",
 doi          = "10.1007/978-3-540-78663-4\_10",
)
@inproceedings(Buscemi07ccpi,
 author       = "Maria Grazia Buscemi and Ugo Montanari",
 year         = "2007",
 title        = "{CC-Pi}: A Constraint-Based Language for Specifying Service Level Agreements",
 booktitle    = "Proc. {ESOP}",
 series       = "LNCS",
 volume       = "4421",
 publisher    = "Springer",
 doi          = "10.1007/978-3-540-71316-6\_3",
)
@inproceedings(Carpineti06basic,
 author       = "Samuele Carpineti and Cosimo Laneve",
 year         = "2006",
 title        = "A Basic Contract Language for Web Services",
 booktitle    = "Proc. {ESOP}",
 series       = "LNCS",
 volume       = "3924",
 publisher    = "Springer",
 doi          = "10.1007/11693024\_14",
)
@article(Castagna09contracts,
 author       = "Giuseppe Castagna and Nils Gesbert and Luca Padovani",
 year         = "2009",
 title        = "A theory of contracts for Web services",
 journal      = "{ACM} Transactions on Programming Languages and Systems",
 volume       = "31",
 number       = "5",
 doi          = "10.1145/1538917.1538920",
)
@article(Ferrari06logic,
 author       = "Gian Luigi Ferrari and Alberto Lluch-Lafuente",
 year         = "2006",
 title        = "A Logic for Graphs with {QoS}",
 journal      = "{ENTCS}",
 volume       = "142",
 doi          = "10.1016/j.entcs.2004.10.030",
)
@inproceedings(Garg08modal,
 author       = "Deepak Garg and Mart\'{\i }n Abadi",
 year         = "2008",
 title        = "A Modal Deconstruction of Access Control Logics",
 booktitle    = "Proc. {FoSSaCS}",
 series       = "LNCS",
 volume       = "4962",
 publisher    = "Springer",
 doi          = "10.1007/978-3-540-78499-9\_16",
)
@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}",
 series       = "EPTCS",
 volume       = "69",
 doi          = "10.4204/EPTCS.69",
)
@article(Hvitved11jlap,
 author       = "Tom Hvitved and Felix Klaedtke and Eugen Z{\u a}linescu",
 year         = "2012",
 title        = "A trace-based model for multiparty contracts",
 journal      = "J. Log. Algebr. Program.",
 volume       = "81",
 number       = "2",
 pages        = "72--98",
 doi          = "10.1016/j.jlap.2011.04.010",
)
@inproceedings(PrisacariuS07formal,
 author       = "Cristian Prisacariu and Gerardo Schneider",
 year         = "2007",
 title        = "A Formal Language for Electronic Contracts",
 booktitle    = "Proc. {FMOODS}",
 series       = "LNCS",
 volume       = "4468",
 publisher    = "Springer",
 doi          = "10.1007/978-3-540-72952-5\_11",
)
@inproceedings(Winskel86,
 author       = "Glynn Winskel",
 year         = "1986",
 title        = "Event Structures",
 booktitle    = "Advances in Petri Nets",
 series       = "LNCS",
 volume       = "255",
 publisher    = "Springer",
 pages        = "325--392",
 doi          = "10.1007/3-540-17906-2\_31",
)