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.
Franco Barbanera & Ugo de'Liguoro (2010):
Two notions of sub-behaviour for session-based client/server systems.
In: PPDP,
pp. 155–164,
doi:10.1145/1836089.1836109.
Franco Barbanera & Ugo de'Liguoro (2014):
Loosening the notions of compliance and sub-behaviour in client/server systems.
In: Proc. ICE.
Available at http://arxiv.org/abs/1311.5802.
Massimo Bartoletti, Tiziana Cimoli & Roberto Zunino (2013):
A theory of agreements and protection.
In: Proc. POST,
LNCS 7796.
Springer,
pp. 186–205,
doi:10.1007/978-3-642-36830-1_10.
Massimo Bartoletti, Alceste Scalas & Roberto Zunino (2014):
A semantic deconstruction of session types.
In: Proc. CONCUR,
pp. 402–418.
Massimo Bartoletti, Emilio Tuosto & Roberto Zunino (2012):
On the Realizability of Contracts in Dishonest Systems.
In: Proc. COORDINATION,
pp. 245–260,
doi:10.1007/978-3-642-30829-1_17.
Mario Bravetti & Gianluigi Zavattaro (2007):
Contract Based Multi-party Service Composition.
In: Proc. FSEN,
LNCS 4767,
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),
pp. 19:1–19:61,
doi:10.1145/1538917.1538920.
Kohei Honda, Vasco T. Vasconcelos & Makoto Kubo (1998):
Language Primitives and Type Disciplines for Structured Communication-based Programming.
In: Proc. ESOP,
pp. 122–138,
doi:10.1007/BFb0053567.
Cosimo Laneve & Luca Padovani (2007):
Theıt must Preorder Revisited.
In: CONCUR,
pp. 212–225,
doi:10.1007/978-3-540-74407-8_15.
Luca Padovani (2010):
Contract-based discovery of Web services modulo simple orchestrators.
Theor. Comput. Sci. 411(37),
pp. 3328–3347,
doi:10.1016/j.tcs.2010.05.002.
Glynn Winskel (1986):
Event Structures.
In: Advances in Petri Nets,
doi:10.1007/3-540-17906-2_31.
eptcs@eptcs.org