References

  1. Franco Barbanera, Ugo de'Liguoro & Rolf Hennicker (2018): Global Types for Open Systems. In: ICE, EPTCS 279. Open Publishing Association, pp. 4–20, doi:10.4204/EPTCS.279.4.
  2. Mario Bravetti, Marco Carbone & Gianluigi Zavattaro (2017): Undecidability of Asynchronous Session Subtyping. Information and Computation 256, pp. 300–320, doi:10.1016/j.ic.2017.07.010.
  3. Luís Caires & Jorge A. Pérez (2016): Multiparty Session Types Within a Canonical Binary Theory, and Beyond. In: FORTE, LNCS 9688. Springer, pp. 74–95, doi:10.1007/978-3-319-39570-8_6.
  4. Marco Carbone, Sam Lindley, Fabrizio Montesi, Carsten Schürmann & Philip Wadler (2016): Coherence Generalises Duality: A Logical Explanation of Multiparty Session Types. In: CONCUR, LIPIcs 59. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, pp. 33:1–33:15, doi:10.4230/LIPIcs.CONCUR.2016.33.
  5. Felice Cardone & Mario Coppo (2013): Recursive Types. In: Henk Barendregt, Wil Dekkers & Richard Statman: Lambda Calculus with Types, Perspectives in Logic. Cambridge University Press, pp. 377–576, doi:10.1017/CBO9781139032636.011.
  6. Giuseppe Castagna, Nils Gesbert & Luca Padovani (2009): A Theory of Contracts for Web Services. ACM Transactions on Programming Languages and Systems 31(5), pp. 19:1–19:61, doi:10.1145/1538917.1538920.
  7. Ilaria Castellani, Mariangiola Dezani-Ciancaglini & Paola Giannini (2019): Reversible Sessions with Flexible Choices. Acta Informatica, doi:10.1007/s00236-019-00332-y. To appear.
  8. Mario Coppo, Mariangiola Dezani-Ciancaglini, Luca Padovani & Nobuko Yoshida (2015): A Gentle Introduction to Multiparty Asynchronous Session Types. In: Formal Methods for Multicore Programming, LNCS. Springer, pp. 146–178, doi:10.1007/978-3-319-18941-3_4.
  9. 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.
  10. Bruno Courcelle (1983): Fundamental Properties of Infinite Trees. Theoretical Computer Science 25, pp. 95–169, doi:10.1016/0304-3975(83)90059-2.
  11. Romain Demangeon & Kohei Honda (2011): Full Abstraction in a Subtyped Pi-Calculus with Linear Types. In: CONCUR, LNCS 6901. Springer, pp. 280–296, doi:10.1007/978-3-642-23217-6_19.
  12. Mariangiola Dezani-Ciancaglini, Silvia Ghilezan, Svetlana Jaksic, Jovanka Pantovic & Nobuko Yoshida (2015): Precise Subtyping for Synchronous Multiparty Sessions. In: PLACES, EPTCS 203. Open Publishing Association, pp. 29–43, doi:10.4204/EPTCS.203.3.
  13. Simon Gay (2016): Subtyping Supports Safe Session Substitution. In: A List of Successes That Can Change the World - Essays Dedicated to Philip Wadler on the Occasion of His 60th Birthday, LNCS 9600. Springer, pp. 95–108, doi:10.1007/978-3-319-30936-1_5.
  14. 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.
  15. Silvia Ghilezan, Svetlana Jaksic, Jovanka Pantovic, Alceste Scalas & Nobuko Yoshida (2019): Precise Subtyping for Synchronous Multiparty Sessions. Journal of Logic and Algebraic Methods in Programming 104, pp. 127–173, doi:10.1016/j.jlamp.2018.12.002.
  16. Kohei Honda, Vasco Thudichum Vasconcelos & Makoto Kubo (1998): Language Primitives and Type Discipline for Structured Communication-Based Programming. In: ESOP, LNCS 1381. Springer, pp. 122–138, doi:10.1007/BFb0053567.
  17. Kohei Honda, Nobuko Yoshida & Marco Carbone (2008): Multiparty Asynchronous Session Types. In: POPL. ACM Press, pp. 273–284, doi:10.1145/1328438.1328472.
  18. Kohei Honda, Nobuko Yoshida & Marco Carbone (2016): Multiparty Asynchronous Session Types. Journal of the ACM 63(1), pp. 9, doi:10.1145/2827695.
  19. Raymond Hu & Nobuko Yoshida (2017): Explicit Connection Actions in Multiparty Session Types. In: FASE, LNCS 10202. Springer, pp. 116–133, doi:10.1007/978-3-662-54494-5_7.
  20. Naoki Kobayashi (2002): A Type System for Lock-Free Processes. Information and Computation 177(2), pp. 122–159, doi:10.1006/inco.2002.3171.
  21. Dexter Kozen & Alexandra Silva (2017): Practical Coinduction. Mathematical Structures in Computer Science 27(7), pp. 1132–1152, doi:10.1017/S0960129515000493.
  22. Ivan Lanese & Emilio Tuosto: Personal Communication.
  23. Julien Lange & Emilio Tuosto (2012): Synthesising Choreographies from Local Session Types. In: CONCUR, LNCS 7454. Springer, pp. 225–239, doi:10.1007/978-3-642-32940-1_17.
  24. Julien Lange & Nobuko Yoshida (2017): On the Undecidability of Asynchronous Session Subtyping. In: FOSSACS, LNCS 10203. Springer, pp. 441–457, doi:10.1007/978-3-662-54458-7_26.
  25. Dimitris Mostrous, Nobuko Yoshida & Kohei Honda (2009): Global Principal Typing in Partially Commutative Asynchronous Sessions. In: ESOP, LNCS 5502. Springer, pp. 316–332, doi:10.1007/978-3-642-00590-9_23.
  26. Benjamin C. Pierce (2002): Types and Programming Languages. MIT Press.
  27. Paula Severi & Mariangiola Dezani-Ciancaglini (2019): Observational Equivalence for Multiparty Sessions. Fundamenta Informaticae 167. To appear.
Comments and questions to: eptcs@eptcs.org
For website issues: webmaster@eptcs.org