Wil M. P. van der Aalst, Niels Lohmann, Peter Massuthe, Christian Stahl & Karsten Wolf (2010):
Multiparty Contracts: Agreeing and Implementing Interorganizational Processes.
Comput. J. 53(1),
pp. 90–106,
doi:10.1093/comjnl/bxn064.
Martín Abadi, Michael Burrows, Butler Lampson & Gordon Plotkin (1993):
A calculus for access control in distributed systems.
ACM TOPLAS 4(15),
pp. 706–734,
doi:10.1145/155183.155225.
Martín Abadi & Gordon D. Plotkin (1993):
A Logical View of Composition.
Theoretical Computer Science 114(1),
pp. 3–30,
doi:10.1016/0304-3975(93)90151-I.
Michael Armbrust (2010):
A view of cloud computing.
Comm. ACM 53(4),
pp. 50–58,
doi:10.1145/1721654.1721672.
Massimo Bartoletti, Tiziana Cimoli, Paolo Di Giamberardino & Roberto Zunino:
Contract agreements via logic.
Available online at tcs.unica.it/papers/ces-pcl-long.pdf.
Massimo Bartoletti, Tiziana Cimoli & G. Michele Pinna (2013):
Lending Petri nets and contracts.
In: Proc. FSEN,
LNCS 8161.
Springer,
doi:10.1007/978-3-642-40213-5_5.
Massimo Bartoletti, Tiziana Cimoli, G. Michele Pinna & Roberto Zunino:
Circular causality in event structures.
Submitted. Available online at tcs.unica.it/papers/ces-long.pdf. A preliminary version of this paper has been presented at ICTCS 2012.
Massimo Bartoletti, Tiziana Cimoli, G. Michele Pinna & Roberto Zunino (2012):
An event-based model for contracts.
In: Proc. PLACES,
doi:10.4204/EPTCS.109.3.
Massimo Bartoletti, Tiziana Cimoli & Roberto Zunino (2013):
A theory of agreements and protection.
In: Proc. POST,
LNCS 7796.
Springer,
doi:10.1007/978-3-642-36830-1_10.
Massimo Bartoletti, Emilio Tuosto & Roberto Zunino (2012):
Contract-oriented Computing in CO_2.
Scientific Annals in Computer Science 22(1),
pp. 5–60,
doi:10.7561/SACS.2012.1.5.
Massimo Bartoletti & Roberto Zunino (2010):
A Calculus of Contracting Processes.
In: LICS,
doi:10.1109/LICS.2010.25.
Laura Bocchi, Kohei Honda, Emilio Tuosto & Nobuko Yoshida (2010):
A theory of design-by-contract for distributed multiparty interactions.
In: CONCUR,
doi:10.1007/978-3-642-15375-4_12.
Mario Bravetti, Ivan Lanese & Gianluigi Zavattaro (2008):
Contract-Driven Implementation of Choreographies.
In: Proc. TGC,
pp. 1–18,
doi:10.1007/978-3-642-00945-7_1.
Mario Bravetti & Gianluigi Zavattaro (2007):
Contract Based Multi-party Service Composition.
In: Proc. FSEN,
pp. 207–222,
doi:10.1007/978-3-540-75698-9_14.
Giuseppe Castagna, Nils Gesbert & Luca Padovani (2009):
A theory of contracts for Web services.
ACM TOPLAS 31(5),
doi:10.1145/1538917.1538920.
G. Decker, O. Kopp, F. Leymann & M Weske (2007):
BPEL4Chor: Extending BPEL for Modeling Choreographies.
In: Proc. ICWS.
Jonathan Gelati, Antonino Rotolo, Giovanni Sartor & Guido Governatori (2004):
Normative autonomy and normative co-ordination: Declarative power, representation, and mandate.
Artificial Intelligence and Law 12(1-2),
pp. 53–81,
doi:10.1007/s10506-004-1922-2.
Thomas T. Hildebrandt & Raghava Rao Mukkamala (2010):
Declarative Event-Based Workflow as Distributed Dynamic Condition Response Graphs.
In: Proc. PLACES,
doi:10.4204/EPTCS.69.5.
Kohei Honda, Aybek Mukhamedov, Gary Brown, Tzu-Chun Chen & Nobuko Yoshida (2011):
Scribbling Interactions with a Formal Foundation.
In: Distributed Computing and Internet Technology,
LNCS 6536.
Springer,
pp. 55–75,
doi:10.1007/978-3-642-19056-8_4.
Kohei Honda, Nobuko Yoshida & Marco Carbone (2008):
Multiparty asynchronous session types.
In: POPL,
pp. 273–284,
doi:10.1145/1328438.1328472.
N. Kavantzas, D. Burdett, G. Ritzinger, T. Fletcher, Y. Lafon & C Barreto (2005):
Web Services Choreography Description Language V. 1.0.
Alessio Lomuscio, Wojciech Penczek, Monika Solanki & Maciej Szreter (2011):
Runtime Monitoring of Contract Regulated Web Services.
Fundam. Inform. 111(3),
doi:10.3233/FI-2011-566.
Cristian Prisacariu & Gerardo Schneider (2012):
A Dynamic Deontic Logic for Complex Contracts.
The Journal of Logic and Algebraic Programming (JLAP) 81(4),
doi:10.1016/j.jlap.2012.03.003.
Franco Raimondi, James Skene & Wolfgang Emmerich (2008):
Efficient online monitoring of web-service SLAs.
In: SIGSOFT FSE,
doi:10.1145/1453101.1453125.
Richard Statman (1979):
Intuitionistic propositional logic is polynomial-space complete.
Theoretical Computer Science 9,
pp. 67–72,
doi:10.1016/0304-3975(79)90006-9.
Glynn Winskel (1986):
Event Structures.
In: Advances in Petri Nets,
pp. 325–392,
doi:10.1007/3-540-17906-2_31.