Alexander Artikis, Marek J. Sergot & Jeremy V. Pitt (2009):
Specifying norm-governed computational societies.
ACM Trans. Comput. Log. 10(1),
doi:10.1145/1459010.1459011.
Massimo Bartoletti, Tiziana Cimoli, G. Michele Pinna & Roberto Zunino (2012):
Circular Causality in Event Structures.
In: ICTCS.
Massimo Bartoletti, Emilio Tuosto & Roberto Zunino (2011):
Contracts in Distributed Systems.
In: Proc. ICE,
EPTCS 59,
pp. 130–147,
doi:10.4204/EPTCS.59.11.
Massimo Bartoletti, Emilio Tuosto & Roberto Zunino (2012):
On the realizability of contracts in dishonest systems.
In: Proc. COORDINATION,
LNCS 7274.
Springer,
doi:10.1007/978-3-642-30829-1_17.
Massimo Bartoletti & Roberto Zunino (2009):
A logic for contracts.
Technical Report DISI-09-034.
DISI - Univ. Trento.
Massimo Bartoletti & Roberto Zunino (2010):
A Calculus of Contracting Processes.
In: Proc. LICS.
IEEE Computer Society,
doi:10.1109/LICS.2010.25.
Mario Bravetti & Gianluigi Zavattaro (2007):
Towards a Unifying Theory for Choreography Conformance and Contract Compliance.
In: Software Composition,
doi:10.1007/978-3-540-77351-1_4.
Maria Grazia Buscemi & Hernán C. Melgratti (2008):
Transactional Service Level Agreement.
In: Proc. TGC,
LNCS 4912.
Springer,
doi:10.1007/978-3-540-78663-4_10.
Maria Grazia Buscemi & Ugo Montanari (2007):
CC-Pi: A Constraint-Based Language for Specifying Service Level Agreements.
In: Proc. ESOP,
LNCS 4421.
Springer,
doi:10.1007/978-3-540-71316-6_3.
Samuele Carpineti & Cosimo Laneve (2006):
A Basic Contract Language for Web Services.
In: Proc. ESOP,
LNCS 3924.
Springer,
doi:10.1007/11693024_14.
Giuseppe Castagna, Nils Gesbert & Luca Padovani (2009):
A theory of contracts for Web services.
ACM Transactions on Programming Languages and Systems 31(5),
doi:10.1145/1538917.1538920.
Gian Luigi Ferrari & Alberto Lluch-Lafuente (2006):
A Logic for Graphs with QoS.
ENTCS 142,
doi:10.1016/j.entcs.2004.10.030.
Deepak Garg & Martín Abadi (2008):
A Modal Deconstruction of Access Control Logics.
In: Proc. FoSSaCS,
LNCS 4962.
Springer,
doi:10.1007/978-3-540-78499-9_16.
Thomas T. Hildebrandt & Raghava Rao Mukkamala (2010):
Declarative Event-Based Workflow as Distributed Dynamic Condition Response Graphs.
In: Proc. PLACES,
EPTCS 69,
doi:10.4204/EPTCS.69.
Tom Hvitved, Felix Klaedtke & Eugen Zălinescu (2012):
A trace-based model for multiparty contracts.
J. Log. Algebr. Program. 81(2),
pp. 72–98,
doi:10.1016/j.jlap.2011.04.010.
Cristian Prisacariu & Gerardo Schneider (2007):
A Formal Language for Electronic Contracts.
In: Proc. FMOODS,
LNCS 4468.
Springer,
doi:10.1007/978-3-540-72952-5_11.
Glynn Winskel (1986):
Event Structures.
In: Advances in Petri Nets,
LNCS 255.
Springer,
pp. 325–392,
doi:10.1007/3-540-17906-2_31.