1. Henk Barendregt, Mario Coppo & Mariangiola Dezani-Ciancaglini (1983): A Filter Lambda Model and the Completeness of Type Assignment. Journal of Symbolic Logic 48(4), pp. 931–940, doi:10.2307/2273659.
  2. W3C WS-CDL.
  3. Tzu-Chun Chen, Mariangiola Dezani-Ciancaglini & Nobuko Yoshida (2014): On the Preciseness of Subtyping in Session Types. In: PPDP. ACM Press, pp. 135–146, doi:10.1145/2643135.2643138.
  4. Mario Coppo, Mariangiola Dezani-Ciancaglini, Nobuko Yoshida & Luca Padovani (2015): Global Progress for Dynamically Interleaved Multiparty Sessions. Mathematical Structures in Computer Science, doi:10.1017/S0960129514000188. To appear.
  5. 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.
  6. Mariangiola Dezani-Ciancaglini, Ugo de'Liguoro & Adolfo Piperno (1998): A Filter Model for Concurrent lambda-Calculus. SIAM Journal on Computing 27(5), pp. 1376–1419, doi:10.1137/S0097539794275860.
  7. Mariangiola Dezani-Ciancaglini & Silvia Ghilezan (2014): Preciseness of Subtyping on Intersection and Union Types. In: RTATLCA, LNCS 8560. Springer, pp. 194–207, doi:10.1007/978-3-319-08918-8_14.
  8. 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.
  9. Robert Harper (2013): Practical Foundations for Programming Languages. Cambridge University Press.
  10. A. S. Henriksen, L. Nielsen, T. Hildebrandt, N. Yoshida & F. Henglein (2012): Trustworthy Pervasive Healthcare Services via Multi-party Session Types. In: FHIES, LNCS 7789. Springer, pp. 124–141, doi:10.1007/978-3-642-39088-3_8.
  11. J. Roger Hindley (1983): The Completeness Theorem for Typing Lambda-Terms. Theoretical Computer Science 22, pp. 1–17, doi:10.1016/0304-3975(83)90136-6.
  12. Kohei Honda, Aybek Mukhamedov, Gary Brown, Tzu-Chun Chen & Nobuko Yoshida (2011): Scribbling Interactions with a Formal Foundation. In: ICDCIT, LNCS 6536. Springer, pp. 55–75, doi:10.1007/978-3-642-19056-8_4.
  13. Kohei Honda, Nobuko Yoshida & Marco Carbone (2008): Multiparty Asynchronous Session Types. In: POPL. ACM Press, pp. 273–284, doi:10.1145/1328438.1328472.
  14. Raymond Hu, Dimitrios Kouzapas, Olivier Pernet, Nobuko Yoshida & Kohei Honda (2010): Type-Safe Eventful Sessions in Java. In: ECOOP, LNCS 6183. Springer, pp. 329–353, doi:10.1007/978-3-642-14107-2_16.
  15. Dimitrios Kouzapas & Nobuko Yoshida (2013): Globally Governed Session Semantics. In: CONCUR, LNCS 8052. Springer, pp. 395–409, doi:10.1145/1328438.1328472.
  16. Jay Ligatti, Jeremy Blackburn & Michael Nachtigal (2014): On Subtyping-Relation Completeness, with an Application to Iso-Recursive Types. Technical Report. University of South Florida.
  17. 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.
  18. Luca Padovani (2011): Session Types = Intersection Types + Union Types. In: ITRS, EPTCS 45. Open Publishing Association, pp. 71–89, doi:10.4204/EPTCS.45.6.
  19. Benjamin C. Pierce (2002): Types and Programming Languages. MIT Press.
  20. Savara JBoss Project.
  21. Kaku Takeuchi, Kohei Honda & Makoto Kubo (1994): An Interaction-based Language and its Typing System. In: PARLE'94, LNCS 817, pp. 398–413, doi:10.1007/3-540-58184-7_118.
  22. UNIFI (2002): International Organization for Standardization ISO 20022 UNIversal Financial Industry message scheme.
  23. Nobuko Yoshida, Pierre-Malo Deniélou, Andi Bejleri & Raymond Hu (2010): Parameterised Multiparty Session Types. In: FOSSACS, LNCS 6014. Springer, pp. 128–145, doi:10.1007/978-3-642-12032-9_10.

Comments and questions to:
For website issues: