1. Jesper Bengtson, Magnus Johansson, Joachim Parrow & Björn Victor (2009): Psi-calculi: Mobile Processes, Nominal Data, and Logic. In: LICS, pp. 39–48, doi:10.1109/LICS.2009.20.
  2. Johannes Borgström, Shuqin Huang, Magnus Johansson, Palle Raabjerg, Björn Victor, Johannes Åman Pohjola & Joachim Parrow (2011): Broadcast Psi-calculi with an Application to Wireless Protocols.. In: Gilles Barthe, Alberto Pardo & Gerardo Schneider: SEFM, Lecture Notes in Computer Science 7041. Springer, pp. 74–89, doi:10.1007/978-3-642-24690-6_7.
  3. Sara Capecchi, Elena Giachino & Nobuko Yoshida (2014): Global Escape in Multiparty Sessions. Mathematical Structures in Computer Science. To appear.
  4. Marco Carbone, Kohei Honda & Nobuko Yoshida (2008): Structured Interactional Exceptions in Session Types. In: CONCUR, LNCS 5201. Springer, pp. 402–417, doi:10.1007/978-3-540-85361-9_32.
  5. Kohei Honda, Vasco T. Vasconcelos & Makoto Kubo (1998): Language Primitives and Type Disciplines for Structured Communication-based Programming. In: ESOP'98, LNCS 1381. Springer, pp. 22–138, doi:10.1007/BFb0053567.
  6. Kohei Honda, Nobuko Yoshida & Marco Carbone (2008): Multiparty Asynchronous Session Types. In: POPL'08. ACM, pp. 273–284, doi:10.1145/1328897.1328472.
  7. 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: