References

  1. Giuseppe Castagna, Mariangiola Dezani-Ciancaglini, Elena Giachino & Luca Padovani (2009): Foundations of session types. In: PPDP. ACM Press, pp. 219–230. Available at http://doi.acm.org/10.1145/1599410.1599437.
  2. Mariangiola Dezani-Ciancaglini & Ugo de'Liguoro (2009): Sessions and Session Types: An Overview. In: WS-FM, Lectures Notes in Computer Science 6194. Springer, pp. 1–28. Available at http://dx.doi.org/10.1007/978-3-642-14458-5_1.
  3. Simon J. Gay & Malcolm J. Hole (2005): Subtyping for Session Types in the Pi Calculus. Acta Informatica 42(2/3), pp. 191–225.
  4. Marco Giunti (2011): Typed Observational Equivalence for Sessions. Submitted.
  5. Marco Giunti & Vasco T. Vasconcelos (2010): A Linear Account of Session Types in the Pi Calculus. In: CONCUR, Lecture Notes in Computer Science 6269. Springer, pp. 432–446. Available at http://dx.doi.org/10.1007/978-3-642-15375-4_30.
  6. Kohei Honda, Vasco T. Vasconcelos & Makoto Kubo (1998): Language Primitives and Type Discipline for Structured Communication-Based Programming. In: ESOP, Lectures Notes in Computer Science 1381. Springer, pp. 122–138. Available at http://dx.doi.org/10.1007/BFb0053567.
  7. Naoki Kobayashi, Benjamin C. Pierce & David N. Turner (1999): Linearity and the pi-calculus. ACM Transactions on Programming Languages and Systems 21(5), pp. 914–947. Available at http://doi.acm.org/10.1145/330249.330251.
  8. Michael Lienhardt, Claudio Antares Mezzina, Alan Schmitt & Jean-Bernard Stefani (2009): Typing Component-Based Communication Systems. In: FMOODS/FORTE, Lectures Notes in Computer Science 5522. Springer, pp. 167–181. Available at http://dx.doi.org/10.1007/978-3-642-02138-1_11.
  9. Robin Milner, Joachim Parrow & David Walker (1992): A Calculus of Mobile Processes, parts I and II. Information and Computation 100(1), pp. 1–77.
  10. Benjamin C. Pierce (2002): Types and Programming Languages. MIT Press.
  11. Benjamin C. Pierce & Davide Sangiorgi (1996): Typing and Subtyping for Mobile Processes. Mathematical Structures in Computer Science 6(5), pp. 409–453.
  12. Kaku Takeuchi, Kohei Honda & Makoto Kubo (1994): An Interaction-based Language and its Typing System. In: PARLE, Lectures Notes in Computer Science 817. Springer, pp. 398–413.
  13. Vasco T. Vasconcelos (2009): Fundamentals of Session Types. In: SFM, Lectures Notes in Computer Science 5569. Springer, pp. 158–186. Available at http://dx.doi.org/10.1007/978-3-642-01918-0_4.
  14. Vasco T. Vasconcelos (2011): Sessions, from types to programming languages. In: Luca Aceto: The Concurrency Column. Bulletin of the EATCS 103, pp. 53–73.
  15. David Walker (2005): Advanced Topics in Types and Programming Languages, chapter Substructural Type Systems. MIT Press.

Comments and questions to: eptcs@eptcs.org
For website issues: webmaster@eptcs.org