Franco Barbanera, Mariangiola Dezani-Ciancaglini, Ivan Lanese & Ugo de'Liguoro (2016):
Retractable Contracts.
In: Simon Gay & Jade Alglave: PLACES 2015,
Electronic Proceedings in Theoretical Computer Science 203.
Open Publishing Association,
pp. 61–72,
doi:10.4204/EPTCS.203.5.
Laura Bocchi, Tzu-Chun Chen, Romain Demangeon, Kohei Honda & Nobuko Yoshida (2013):
Monitoring Networks through Multiparty Session Types.
In: Proc. of FMOODS/FORTE 2013,
Lecture Notes in Computer Science 7892.
Springer,
pp. 50–65,
doi:10.1007/978-3-642-38592-6_5.
Luís Caires, Carla Ferreira & Hugo Torres Vieira (2009):
A Process Calculus Analysis of Compensations.
In: TGC 2008,
LNCS 5474.
Springer,
pp. 87–103,
doi:10.1007/978-3-642-00945-7_6.
Luís Caires & Hugo Torres Vieira (2010):
Conversation types.
Theor. Comput. Sci. 411(51-52),
pp. 4399–4440,
doi:10.1016/j.tcs.2010.09.010.
Sara Capecchi, Ilaria Castellani & Mariangiola Dezani-Ciancaglini (2011):
Information Flow Safety in Multiparty Sessions.
In: Proc. of EXPRESS 2011,
EPTCS 64,
pp. 16–30,
doi:10.4204/EPTCS.64.2.
Sara Capecchi, Elena Giachino & Nobuko Yoshida (2016):
Global escape in multiparty sessions.
Mathematical Structures in Computer Science 26(2),
pp. 156–205,
doi:10.1017/S0960129514000164.
Luca Cardelli & Cosimo Laneve (2011):
Reversible structures.
In: Proc. of CMSB 2011,
pp. 131–140,
doi:10.1145/2037509.2037529.
Ilaria Castellani, Mariangiola Dezani-Ciancaglini & Jorge A. Pérez (2014):
Self-Adaptation and Secure Information Flow in Multiparty Structured Communications: A Unified Perspective.
In: BEAT 2014,
EPTCS 162,
pp. 9–18,
doi:10.4204/EPTCS.162.2.
Mario Coppo, Mariangiola Dezani-Ciancaglini & Betti Venneri (2015):
Self-adaptive multiparty sessions.
Service Oriented Computing and Applications 9(3-4),
pp. 249–268,
doi:10.1007/s11761-014-0171-9.
Ioana Cristescu, Jean Krivine & Daniele Varacca (2013):
A Compositional Semantics for the Reversible p-Calculus.
In: Proc. of LICS2013.
IEEE Computer Society,
pp. 388–397,
doi:10.1109/LICS.2013.45.
Vincent Danos & Jean Krivine (2004):
Reversible Communicating Systems.
In: Proc. of CONCUR 2004,
LNCS.
Springer,
pp. 292–307,
doi:10.1007/978-3-540-28644-8_19.
Romain Demangeon, Kohei Honda, Raymond Hu, Rumyana Neykova & Nobuko Yoshida (2015):
Practical interruptible conversations: distributed dynamic verification with multiparty session types and Python.
Formal Methods in System Design 46(3),
pp. 197–225,
doi:10.1007/s10703-014-0218-8.
Cinzia Di Giusto & Jorge A. Pérez (2014):
An Event-Based Approach to Runtime Adaptation in Communication-Centric Systems.
Research Report.
Universite de Nice Sophia-Antipolis (UNS) ; University of Groningen.
Available at https://hal.archives-ouvertes.fr/hal-01093090.
To appear in Post-proc. of WS-FM 2014 (Springer LNCS).
Cinzia Di Giusto & Jorge A. Pérez (2015):
Disciplined structured communications with disciplined runtime adaptation.
Sci. Comput. Program. 97,
pp. 235–265,
doi:10.1016/j.scico.2014.04.017.
Kohei Honda, Vasco Thudichum Vasconcelos & Makoto Kubo (1998):
Language Primitives and Type Discipline for Structured Communication-Based Programming.
In: ESOP'98,
LNCS 1381.
Springer,
pp. 122–138,
doi:10.1007/BFb0053567.
Kohei Honda, Nobuko Yoshida & Marco Carbone (2008):
Multiparty asynchronous session types.
In: POPL 2008.
ACM,
pp. 273–284,
doi:10.1145/1328438.1328472.
Raymond Hu, Dimitrios Kouzapas, Olivier Pernet, Nobuko Yoshida & Kohei Honda (2010):
Type-Safe Eventful Sessions in Java.
In: Proc. of ECOOP 2010,
LNCS 6183.
Springer,
pp. 329–353,
doi:10.1007/978-3-642-14107-2_16.
Limin Jia, Hannah Gommerstadt & Frank Pfenning (2016):
Monitors and blame assignment for higher-order session types.
In: POPL 2016.
ACM,
pp. 582–594,
doi:10.1145/2837614.2837662.
Dimitrios Kouzapas, Jorge A. Pérez & Nobuko Yoshida (2016):
On the Relative Expressiveness of Higher-Order Session Processes.
In: ESOP 2016,
LNCS.
Springer.
To appear.
Dimitrios Kouzapas, Nobuko Yoshida & Kohei Honda (2011):
On Asynchronous Session Semantics.
In: Proc. of FMOODS 2011 and FORTE 2011,
LNCS 6722.
Springer,
pp. 228–243,
doi:10.1007/978-3-642-21461-5_15.
Ivan Lanese, Claudio Antares Mezzina, Alan Schmitt & Jean-Bernard Stefani (2011):
Controlling Reversibility in Higher-Order Pi.
In: Proc. of CONCUR 2011,
LNCS.
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: Proc. of CONCUR 2010,
LNCS.
Springer,
pp. 478–493,
doi:10.1007/978-3-642-15375-4_33.
Michael Lienhardt, Ivan Lanese, Claudio Antares Mezzina & Jean-Bernard Stefani (2012):
A Reversible Abstract Machine and Its Space Overhead.
In: Proc. of FMOODS/FORTE 2012,
LNCS.
Springer,
pp. 1–17,
doi:10.1007/978-3-642-30793-5_1.
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.