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.
Lucia Acciai & Michele Boreale (2008):
A Type System for Client Progress in a Service-Oriented Calculus.
In: Concurrency, Graphs and Models, Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday,
pp. 642–658,
doi:10.1007/978-3-540-68679-8_40.
Lucia Acciai, Michele Boreale & Gianluigi Zavattaro (2010):
Behavioural Contracts with Request-Response Operations.
In: Proc. COORDINATION,
pp. 16–30,
doi:10.1007/978-3-642-13414-2_2.
Luca de Alfaro & Thomas A. Henzinger (2001):
Interface automata.
In: Proc. ACM SIGSOFT,
pp. 109–120,
doi:10.1145/503209.503226.
Franco Barbanera & Ugo de'Liguoro (2015):
Sub-behaviour relations for session-based client/server systems.
Mathematical Structures in Computer Science 25(6),
pp. 1339–1381,
doi:10.1017/S096012951400005X.
Massimo Bartoletti, Tiziana Cimoli & G. Michele Pinna (2015):
Lending Petri nets.
Sci. Comput. Program. 112,
pp. 75–101,
doi:10.1016/j.scico.2015.05.006.
Massimo Bartoletti, Tiziana Cimoli & Roberto Zunino (2015):
Compliance in Behavioural Contracts: A Brief Survey.
In: Programming Languages with Applications to Biology and Security,
Lecture Notes in Computer Science 9465.
Springer,
pp. 103–121,
doi:10.1007/978-3-319-25527-9_9.
Massimo Bartoletti, Alceste Scalas & Roberto Zunino (2014):
A Semantic Deconstruction of Session Types.
In: Proc. CONCUR,
pp. 402–418,
doi:10.1007/978-3-662-44584-6_28.
Davide Basile, Pierpaolo Degano & Gian Luigi Ferrari (2014):
Automata for Analysing Service Contracts.
In: Proc. TGC,
pp. 34–50,
doi:10.1007/978-3-662-45917-1_3.
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.
Ed Brinksma, Arend Rensink & Walter Vogler (1995):
Fair Testing.
In: Proc. CONCUR,
pp. 313–327,
doi:10.1007/3-540-60218-6_23.
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.
Rocco De Nicola & Matthew Hennessy (1984):
Testing Equivalences for Processes.
Theor. Comput. Sci. 34,
pp. 83–133,
doi:10.1016/0304-3975(84)90113-0.
Rocco De Nicola & Matthew Hennessy (1987):
CCS without tau's.
In: Proc. TAPSOFT,
pp. 138–152,
doi:10.1007/3-540-17660-8_53.
Kohei Honda, Vasco T. Vasconcelos & Makoto Kubo (1998):
Language Primitives and Type Disciplines for Structured Communication-based Programming.
In: Proc. ESOP,
LNCS 1381,
pp. 122–138,
doi:10.1007/BFb0053567.
Hans Hüttel, Ivan Lanese, Vasco T. Vasconcelos, Luís Caires, Marco Carbone, Pierre-Malo Deniélou, Dimitris Mostrous, Luca Padovani, António Ravara, Emilio Tuosto, Hugo Torres Vieira & Gianluigi Zavattaro (2016):
Foundations of Session Types and Behavioural Contracts.
ACM Comput. Surv. 49(1),
pp. 3:1–3:36,
doi:10.1145/2873052.
Cosimo Laneve & Luca Padovani (2007):
The Must Preorder Revisited.
In: Proc. CONCUR,
pp. 212–225,
doi:10.1007/978-3-540-74407-8_15.
Cosimo Laneve & Luca Padovani (2015):
An algebraic theory for Web service contracts.
Formal Aspects of Computing,
pp. 1–28,
doi:10.1007/s00165-015-0334-2.
Robin Milner (1989):
Communication and concurrency.
Prentice-Hall, Inc..
Arend Rensink & Walter Vogler (2007):
Fair testing.
Information and Computation 205(2),
pp. 125–198,
doi:10.1016/j.ic.2006.06.002.