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, Mariangiola Dezani-Ciancaglini & Ugo de'Liguoro (2014):
Compliance for Reversible Client/Server Interactions.
In: BEAT,
EPTCS 162,
pp. 35–42,
doi:10.4204/EPTCS.162.5.
Giovanni Bernardi & Matthew Hennessy (2014):
Modelling Session Types using Contracts.
Math. Struct. in Comp. Science,
doi:10.1017/S0960129514000243.
To appear.
Sara Capecchi, Elena Giachino & Nobuko Yoshida (2010):
Global Escape in Multiparty Sessions.
In: FSTTCS,
LIPIcs 8.
Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik,
pp. 338–351,
doi:10.4230/LIPIcs.FSTTCS.2010.338.
Marco Carbone, Kohei Honda & Nobuko Yoshida (2008):
Structured Interactional Exceptions in Session Types.
In: CONCUR,
LNCS 5201.
Springer,
pp. 402–417,
doi:10.1007/978-3-540-85361-9_32.
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, Nobuko Yoshida & Marco Carbone (2008):
Multiparty Asynchronous Session Types.
In: POPL.
ACM Press,
pp. 273–284,
doi:10.1145/1328897.1328472.
Ivan Lanese, Claudio Antares Mezzina, Alan Schmitt & Jean-Bernard 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.
Ivan Lanese, Claudio Antares Mezzina & Francesco Tiezzi (2014):
Causal-Consistent Reversibility.
Bulletin of the EATCS 114.
Cosimo Laneve & Luca Padovani (2008):
The Pairing of Contracts and Session Types.
In: Concurrency, Graphs and Models,
LNCS 5065,
pp. 681–700,
doi:10.1007/978-3-540-68679-8_42.
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.
Francesco Tiezzi & Nobuko Yoshida (2015):
Reversible session-based pi-calculus.
J. Log. Algebr. Meth. Program. 84(5),
pp. 684–707,
doi:10.1016/j.jlamp.2015.03.004.
Edsko de Vries, Vasileios Koutavas & Matthew Hennessy (2010):
Communicating Transactions - (Extended Abstract).
In: CONCUR,
LNCS 6269.
Springer,
pp. 569–583,
doi:10.1007/978-3-642-15375-4_39.