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):
Sub-behaviour relations for session-based client/server systems.
Math. Struct. in Comp. Science.
To appear.
Giovanni Bernardi & Matthew Hennessy (2014):
Modelling session types using contracts.
Math. Struct. in Comp. Science.
To appear.
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.
Vincent Danos & Jean Krivine (2004):
Reversible Communicating Systems.
In: CONCUR,
LNCS 3170.
Springer,
pp. 292–307,
doi:10.1007/978-3-540-28644-8_19.
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.
Kohei Honda, Nobuko Yoshida & Marco Carbone (2008):
Multiparty Asynchronous Session Types.
In: POPL.
ACM Press,
pp. 273–284,
doi:10.1145/1328897.1328472.
I. Lanese, C. A. Mezzina, A. Schmitt & J.-B. Stefani (2011):
Controlling Reversibility in Higher-Order Pi.
In: CONCUR,
LNCS 6901.
Springer,
pp. 297–311,
doi:10.1007/978-3-642-23217-6_20.
Ivan Lanese, Claudio Antares Mezzina & Jean-Bernard Stefani (2010):
Reversing Higher-Order Pi.
In: CONCUR,
LNCS 6269.
Springer,
pp. 478–493,
doi:10.1007/978-3-642-15375-4_33.
Robin Milner (1989):
Communication and concurrency.
PHI Series in computer science.
Prentice Hall.
Iain C. C. Phillips & Irek Ulidowski (2007):
Reversing algebraic process calculi.
J. of Logic and Alg. Progr. 73(1-2),
pp. 70–96,
doi:10.1016/j.jlap.2006.11.002.
Francesco Tiezzi & Nobuko Yoshida (2014):
Towards Reversible Sessions.
In: PLACES,
EPTCS 155,
pp. 17–24,
doi:10.4204/EPTCS.155.3.