Franco Barbanera, Mariangiola Dezani-Ciancaglini & Ugo de'Liguoro (2016):
Reversible client/server interactions.
Formal Aspects of Computing 28(4),
pp. 697–722,
doi:10.1007/s00165-016-0358-2.
Franco Barbanera, Mariangiola Dezani-Ciancaglini, Ivan Lanese & Ugo de' Liguoro (2016):
Retractable Contracts.
In: PLACES,
EPTCS 203,
pp. 61–72,
doi:10.4204/EPTCS.203.
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.
Giovanni Bernardi & Matthew Hennessy (2016):
Modelling session types using contracts.
Mathematical Structures in Computer Science 26(3),
pp. 510–560,
doi:10.1017/S0960129514000243.
Mario Coppo, Mariangiola Dezani-Ciancaglini, Nobuko Yoshida & Luca Padovani (2016):
Global Progress for Dynamically Interleaved Multiparty Sessions.
Mathematical Structures in Computer Science 26(2),
pp. 238–302,
doi:10.1017/S0960129514000188.
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.
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.
Edsko de Vries, Vasileios Koutavas & Matthew Hennessy (2010):
Liveness of Communicating Transactions - (Extended Abstract).
In: APLAS,
LNCS 6461.
Springer,
pp. 392–407,
doi:10.1007/978-3-642-17164-2_27.
Pierre-Malo Deniélou & Nobuko Yoshida (2011):
Dynamic Multirole Session Types.
In: POPL.
ACM Press,
pp. 435–446,
doi:10.1145/1926385.1926435.
Mariangiola Dezani-Ciancaglini, Silvia Ghilezan, Svetlana Jaksic, Jovanka Pantovic & Nobuko Yoshida (2016):
Precise subtyping for synchronous multiparty sessions.
In: PLACES,
EPTCS 203,
pp. 29–43,
doi:10.4204/EPTCS.203.3.
Simon Gay & Malcolm Hole (2005):
Subtyping for Session Types in the Pi Calculus.
Acta Informatica 42(2/3),
pp. 191–225,
doi:10.1007/s00236-005-0177-z.
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.
Vasileios Koutavas, Carlo Spaccasassi & Matthew Hennessy (2014):
Bisimulations for Communicating Transactions - (Extended Abstract).
In: FOSSACS,
LNCS 8412.
Springer,
pp. 320–334,
doi:10.1007/978-3-642-54830-7_21.
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.
Claudio A. Mezzina & Jorge A. Pérez (2016):
Reversible Sessions Using Monitors.
In: PLACES,
EPTCS 211,
pp. 56–64,
doi:10.4204/EPTCS.211.6.
Robin Milner (1989):
Communication and concurrency.
PHI Series in computer science.
Prentice Hall.
Luca Padovani (2011):
Session Types = Intersection Types + Union Types.
In: ITRS,
EPTCS 45,
pp. 71–89,
doi:10.4204/EPTCS.45.6.
Iain C. C. Phillips & Irek Ulidowski (2007):
Reversing algebraic process calculi.
Journal of Logic and Algebraic Methods in Programming 73(1-2),
pp. 70–96,
doi:10.1016/j.jlap.2006.11.002.
Benjamin C. Pierce (2002):
Types and Programming Languages.
MIT Press.
Francesco Tiezzi & Nobuko Yoshida (2015):
Reversible Session-Based Pi-Calculus.
Journal of Logical and Algebraic Methods in Programming 84(5),
pp. 684–707,
doi:10.1016/j.jlamp.2015.03.004.
Francesco Tiezzi & Nobuko Yoshida (2016):
Reversing Single Sessions.
In: RC,
LNCS 9720.
Springer,
pp. 52–69,
doi:10.1007/978-3-319-40578-0_4.