Franco Barbanera & Ugo de'Liguoro (2010):
Two notions of sub-behaviour for session-based client/server systems.
In: PPDP.
ACM Press,
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: Proceedings 7th ICE 2014,
EPTCS 166,
pp. 94–110,
doi:10.4204/EPTCS.166.10.
Franco Barbanera & Ugo de' Liguoro (2014):
Sub-behaviour relations for session-based client/server systems.
Math. Struct. in Comp. Science,
doi:10.1017/S096012951400005X.
To appear, published online.
Massimo Bartoletti, Tiziana Cimoli & G. Michele Pinna (2014):
A note on two notions of compliance.
In: Proceedings 7th ICE 2014,
EPTCS 166,
pp. 86–93,
doi:10.4204/EPTCS.166.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: TGC 2014,
LNCS 8902,
pp. 34–50,
doi:10.1007/978-3-662-45917-1-3.
Davide Basile, Pierpaolo Degano, Gian-Luigi Ferrari & Emilio Tuosto (2014):
From Orchestration to Choreography through Contract Automata.
In: Proc. ICE'14,
EPTCS 166,
pp. 67–85,
doi:10.4204/EPTCS.166.8.
Giovanni Bernardi & Matthew Hennessy (2012):
Modelling session types using contracts.
In: Proceedings of 27th Annual ACM SAC '12.
ACM,
New York, NY, USA,
pp. 1941–1946,
doi:10.1145/2231936.2232097.
Giovanni Bernardi & Matthew Hennessy (2014):
Modelling session types using contracts.
Math. Struct. in Comp. Science,
doi:10.1017/S0960129514000243.
To appear, published online..
Giovanni Bernardi & Matthew Hennessy (2015):
Mutually Testing Processes.
24h CoRR abs/1502.06360,
doi:10.1007/978-3-642-40184-8_6.
Daniel Brand & Pitro Zafiropulo (1983):
On Communicating Finite-State Machines.
JACM 30(2),
pp. 323–342,
doi:10.1145/322374.322380.
S. Carpineti, G. Castagna, C. Laneve & L. Padovani (2006):
A formal account of contracts for Web Services.
In: WS-FM,
LNCS 4184.
Springer,
pp. 148–162,
doi:10.1007/11841197_10.
Giuseppe Castagna, Nils Gesbert & Luca Padovani (2009):
A theory of contracts for Web services.
ACM Trans. on Prog. Lang. and Sys. 31(5),
pp. 19:1–19:61,
doi:10.1145/1538917.1538920.
L. Clemente, F. Herbreteau & G. Sutre (2014):
Decidable Topologies for Communicating Automata with FIFO and Bag Channels.
In: Proc. CONCUR'14,
LNCS 8704,
doi:10.1007/978-3-662-44584-6_20.
Pierre-Malo Deniélou & Nobuko Yoshida (2012):
Multiparty Session Types Meet Communicating Automata.
In: ESOP,
pp. 194–213,
doi:10.1007/978-3-642-28869-2_10.
Kohei Honda, Vasco T. Vasconcelos & Makoto Kubo (1998):
Language Primitives and Type Disciplines for Structured Communication-based Programming.
In: ESOP,
LNCS 1381.
Springer,
pp. 22–138,
doi:10.1007/BFb0053567.
O. H. Ibarra, J. Su, Z. Dang, T. Bultan & R. Kemmerer (2000):
Counter Machines: Decidable Properties and Applications to Verification Problems.
In: MFCS 2000,
LNCS 1893,
doi:10.1007/3-540-44612-5-38.
Cosimo Laneve & Luca Padovani (2007):
The Must Preorder Revisited: An Algebraic Theory for Web Services Contracts.
In: CONCUR'07,
LNCS 4703.
Springer,
pp. 212–225,
doi:10.1007/978-3-540-74407-8_15.
Luca Padovani (2010):
Contract-Based Discovery of Web Services Modulo Simple Orchestrators.
Theoretical Computer Science 411,
pp. 3328–3347,
doi:10.1016/j.tcs.2010.05.002.
Chris Peltz (2003):
Web Services Orchestration and Choreography.
Computer 36(10),
pp. 46–52,
doi:10.1109/MC.2003.1236471.