Alexander Artikis
Marek J. Sergot
Jeremy V. Pitt
2009
Specifying norm-governed computational societies
ACM Trans. Comput. Log.
10
1
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
LICS
10.1109/LICS.2010.25
Massimo Bartoletti
Roberto Zunino
2010
Primitives for Contract-based Synchronization
ICE
Laura Bocchi
Kohei Honda
Emilio Tuosto
Nobuko Yoshida
2010
A theory of design-by-contract for distributed multiparty interactions
CONCUR
10.1007/978-3-642-15375-4_12
Mario Bravetti
Gianluigi Zavattaro
2007
Towards a Unifying Theory for Choreography Conformance and Contract Compliance
Software Composition
10.1007/978-3-540-77351-1_4
Maria Grazia Buscemi
Hernán C. Melgratti
2007
Transactional Service Level Agreement
TGC
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
ESOP
10.1007/978-3-540-71316-6_3
Felice Cardone
2011
The geometry and algebra of commitment
Ludics, dialogue and interaction
Samuele Carpineti
Cosimo Laneve
2006
A Basic Contract Language for Web Services
ESOP
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
10.1145/1538917.1538920
Giuseppe Castagna
Luca Padovani
2009
Contracts for Mobile Processes
Proc. CONCUR
10.1007/978-3-642-04081-8_15
Mario Coppo
Mariangiola Dezani-Ciancaglini
2008
Structured Communications with Concurrent Constraints
TGC
10.1007/978-3-642-00945-7_7
E. Allen Emerson
1990
Temporal and Modal Logic
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
10.1016/j.entcs.2004.10.030
Deepak Garg
Mart\'ın Abadi
2008
A Modal Deconstruction of Access Control Logics
FoSSaCS
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
ESOP
10.1007/BFb0053567
Kohei Honda
Nobuko Yoshida
Marco Carbone
2008
Multiparty asynchronous session types
POPL
10.1145/1328438.1328472
Ashley McNeile
2010
Protocol contracts with application to choreographed multiparty collaborations
SOCA
4
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
FMOODS
10.1007/978-3-540-72952-5_11
Vijay Saraswat
Prakash Panangaden
Martin Rinard
1991
Semantic Foundations of Concurrent Constraint Programming
POPL
10.1145/99583.99627
Anne Troelstra
Dirk van Dalen
1988
Constructivism in Mathematics, vol. 1
North-Holland