Franco Barbanera
Ugo de'Liguoro
2010
Two Notions of Sub-behaviour for Session-based Client/Server Systems
PPDP
ACM Press
155–164
10.1145/1836089.1836109
Franco Barbanera
Mariangiola Dezani-Ciancaglini
Ugo de'Liguoro
2014
Compliance for Reversible Client/Server Interactions
BEAT
EPTCS
162
35–42
10.4204/EPTCS.162.5
Giovanni Bernardi
Matthew Hennessy
2014
Modelling Session Types using Contracts
Math. Struct. in Comp. Science
10.1017/S0960129514000243
To appear
Sara Capecchi
Elena Giachino
Nobuko Yoshida
2010
Global Escape in Multiparty Sessions
FSTTCS
LIPIcs
8
Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik
338–351
10.4230/LIPIcs.FSTTCS.2010.338
Marco Carbone
Kohei Honda
Nobuko Yoshida
2008
Structured Interactional Exceptions in Session Types
CONCUR
LNCS
5201
Springer
402–417
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
19:1–19:61
10.1145/1538917.1538920
Vincent Danos
Jean Krivine
2004
Reversible Communicating Systems
CONCUR
LNCS
3170
Springer
292–307
10.1007/978-3-540-28644-8_19
Kohei Honda
Nobuko Yoshida
Marco Carbone
2008
Multiparty Asynchronous Session Types
POPL
ACM Press
273–284
10.1145/1328897.1328472
Ivan Lanese
Claudio Antares Mezzina
Alan Schmitt
Jean-Bernard Stefani
2011
Controlling Reversibility in Higher-Order Pi
CONCUR
LNCS
6901
Springer
297–311
10.1007/978-3-642-23217-6_20
Ivan Lanese
Claudio Antares Mezzina
Jean-Bernard Stefani
2010
Reversing Higher-Order Pi
CONCUR
LNCS
6269
Springer
478–493
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
Concurrency, Graphs and Models
LNCS
5065
681–700
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
70–96
10.1016/j.jlap.2006.11.002
Francesco Tiezzi
Nobuko Yoshida
2014
Towards Reversible Sessions
PLACES
EPTCS
155
17–24
10.4204/EPTCS.155.3
Francesco Tiezzi
Nobuko Yoshida
2015
Reversible session-based pi-calculus
J. Log. Algebr. Meth. Program.
84
5
684–707
10.1016/j.jlamp.2015.03.004
Edsko de Vries
Vasileios Koutavas
Matthew Hennessy
2010
Communicating Transactions - (Extended Abstract)
CONCUR
LNCS
6269
Springer
569–583
10.1007/978-3-642-15375-4_39