References

  1. 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.
  2. 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.
  3. 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.
  4. 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.
  5. 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.
  6. 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.
  7. Luca Cardelli & Cosimo Laneve (2011): Reversible structures. In: Proc. of CMSB 2011, pp. 131–140, doi:10.1145/2037509.2037529.
  8. 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.
  9. 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.
  10. 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.
  11. 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.
  12. 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.
  13. 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).
  14. 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.
  15. 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.
  16. Kohei Honda, Nobuko Yoshida & Marco Carbone (2008): Multiparty asynchronous session types. In: POPL 2008. ACM, pp. 273–284, doi:10.1145/1328438.1328472.
  17. 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.
  18. 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.
  19. Dimitrios Kouzapas (2009): A Session Type Discipline for Event Driven Programming Models. Imperial College London. Available at http://www.doc.ic.ac.uk/teaching/distinguished-projects/2009/d.kouzapas.pdf.
  20. 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.
  21. 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.
  22. 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.
  23. 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.
  24. 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.
  25. 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.
Comments and questions to: eptcs@eptcs.org
For website issues: webmaster@eptcs.org