1. Robert L Bocchino Jr, Vikram S Adve, Danny Dig, Sarita V Adve, Stephen Heumann, Rakesh Komuravelli, Jeffrey Overbey, Patrick Simmons, Hyojin Sung & Mohsen Vakilian (2009): A Type and Effect System for Deterministic Parallel Java. In Proocedings of OOPSLA 2009, pp. 97–116, doi:10.1145/1640089.1640097.
  2. Tzu-Chun Chen, Mariangiola Dezani-Ciancaglini & Nobuko Yoshida (2014): On the Preciseness of Subtyping in Session Types. In: PPDP 2014. ACM Press, pp. 146–135, doi:10.1145/2643135.2643138.
  3. David K. Gifford & John M. Lucassen (1986): Integrating functional and imperative programming. In: Proceedings of Conference on LISP and func. prog., LFP '86, doi:10.1145/319838.319848.
  4. Dimitrios Kouzapas, Nobuko Yoshida, Raymond Hu & Kohei Honda (2014): On asynchronous eventful session semantics. Mathematical Structures in Computer Science, pp. 1–62, doi:10.1017/s096012951400019x.
  5. Robin Milner (1992): Functions as Processes. MSCS 2(2), pp. 119–141, doi:10.1017/s0960129500001407.
  6. Dimitris Mostrous & Nobuko Yoshida (2015): Session typing and asynchronous subtyping for the higher-order πLaTeX Error: Bad math environment delimiterSee the LaTeX manual or LaTeX Companion for explanation.Your command was ignored.Type I <command> <return> to replace it with another command,or <return> to continue without it.-calculus. Inf. Comput. 241, pp. 227–263, doi:10.1016/j.ic.2015.02.002.
  7. Flemming Nielson & Hanne Riis Nielson (1999): Type and effect systems. In: Correct System Design. Springer, pp. 114–136, doi:10.1007/3-540-48092-7_6.
  8. Hanne Riis Nielson & Flemming Nielson (1994): Higher-order concurrent programs with finite communication topology. In: Proceedings of the symposium on Principles of programming languages. ACM, pp. 84–97, doi:10.1145/174675.174538.
  9. Tomas Petricek, Dominic A. Orchard & Alan Mycroft (2014): Coeffects: a calculus of context-dependent computation. In: Proceedings of ICFP, pp. 123–135, doi:10.1145/2628136.2628160.
  10. Davide Sangiorgi & David Walker (2001): The π-Calculus: a Theory of Mobile Processes. Cambridge University Press, doi:10.2178/bsl/1182353926.
  11. Jean-Pierre Talpin & Pierre Jouvelot (1992): The type and effect discipline. In: Proc. LICS'92, pp. 162–173, doi:10.1109/lics.1992.185530.
  12. Nobuko Yoshida & Vasco Thudichum Vasconcelos (2007): Language Primitives and Type Discipline for Structured Communication-Based Programming Revisited: Two Systems for Higher-Order Session Communication. Electr. Notes Theor. Comput. Sci. 171(4), pp. 73–93, doi:10.1016/j.entcs.2007.02.056.

Comments and questions to:
For website issues: