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 & Roberto Zunino (2009):
A logic for contracts.
Technical Report DISI-09-034.
DISI - Università di Trento.
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 & 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 (2007):
Transactional Service Level Agreement.
In: TGC,
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: ESOP,
doi:10.1007/978-3-540-71316-6_3.
Felice Cardone (2011):
The geometry and algebra of commitment.
In: Ludics, dialogue and interaction.
Samuele Carpineti & Cosimo Laneve (2006):
A Basic Contract Language for Web Services.
In: ESOP,
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.
Giuseppe Castagna & Luca Padovani (2009):
Contracts for Mobile Processes.
In: Proc. CONCUR,
doi:10.1007/978-3-642-04081-8_15.
Mario Coppo & Mariangiola Dezani-Ciancaglini (2008):
Structured Communications with Concurrent Constraints.
In: TGC,
doi:10.1007/978-3-642-00945-7_7.
E. Allen Emerson (1990):
Temporal and Modal Logic.
In: Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics (B).
North-Holland Pub. Co./MIT Press.
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: FoSSaCS,
doi:10.1007/978-3-540-78499-9_16.
Kohei Honda, Vasco T. Vasconcelos & Makoto Kubo (1998):
Language Primitives and Type Disciplines for Structured Communication-based Programming.
In: ESOP,
doi:10.1007/BFb0053567.
Kohei Honda, Nobuko Yoshida & Marco Carbone (2008):
Multiparty asynchronous session types.
In: POPL,
doi:10.1145/1328438.1328472.
Ashley McNeile (2010):
Protocol contracts with application to choreographed multiparty collaborations.
SOCA 4,
doi:10.1007/s11761-010-0060-9.
Robin Milner (1989):
Communication and concurrency.
Prentice-Hall, Inc..
Cristian Prisacariu & Gerardo Schneider (2007):
A Formal Language for Electronic Contracts.
In: FMOODS,
doi:10.1007/978-3-540-72952-5_11.
Vijay Saraswat, Prakash Panangaden & Martin Rinard (1991):
Semantic Foundations of Concurrent Constraint Programming.
In: POPL,
doi:10.1145/99583.99627.
Anne Troelstra & Dirk van Dalen (1988):
Constructivism in Mathematics, vol. 1.
North-Holland.