1. Giovanni Bernardi, Ornela Dardha, Simon J. Gay & Dimitrios Kouzapas (2014): On duality relations for session types. To appear in Proc. of TGC.
  2. Giovanni Bernardi & Matthew Hennessy (2013): Using higher-order contracts to model session types. CoRR abs/1310.6176. Available at
  3. Ornela Dardha (2014): Recursive Session Types Revisited.
  4. Ornela Dardha (2014): Type Systems for Distributed Programs: Components and Sessions. University of Bologna.
  5. Ornela Dardha, Elena Giachino & Davide Sangiorgi (2012): Session types revisited. In: PPDP. ACM, New York, NY, USA, pp. 139–150, doi:10.1145/2370776.2370794.
  6. 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.
  7. Simon J. Gay (2008): Bounded polymorphism in session types. Mathematical Structures in Computer Science 18(5), pp. 895–930, doi:10.1017/S0960129508006944.
  8. Kohei Honda, Vasco Vasconcelos & Makoto Kubo (1998): Language primitives and type disciplines for structured communication-based programming. In: ESOP'98, LNCS 1381. springer, Heidelberg, Germany, pp. 22–138, doi:10.1007/BFb0053567.
  9. Naoki Kobayashi, Benjamin Pierce & David Turner (1996): Linear Types and π-calculus. In: POPL 21(5). ACM Press, New York, NY, USA, pp. 358–371, doi:10.1145/330249.330251.
  10. Davide Sangiorgi & David Walker (2001): The π-calculus - a theory of mobile processes. Cambridge University Press.
  11. Kaku Takeuchi, Kohei Honda & Makoto Kubo (1994): An Interaction-based Language and its Typing System. In: PARLE'94, pp. 398–413, doi:10.1007/3-540-58184-7_118.
  12. Vasco T. Vasconcelos (2012): Fundamentals of session types. Information Computation 217, pp. 52–70, doi:10.1016/j.ic.2012.05.002.

Comments and questions to:
For website issues: