1. Martin Berger & Kohei Honda (2003): The Two-Phase Commitment Protocol in an Extended π-Calculus. Available at EXPRESS'00, 7th International Workshop on Expressiveness in Concurrency.
  2. Jan A. Bergstra, Alban Ponse & Scott A. Smolka: Handbook of Process Algebra.
  3. Lorenzo Bettini, Mario Coppo, Loris D’Antoni, Marco De Luca, Mariangiola Dezani-Ciancaglini & Nobuko Yoshida (2008): Global Progress in Dynamically Interleaved Multiparty Sessions. In: CONCUR, LNCS 5201. Springer, pp. 418–433. Available at
  4. Laura Bocchi, Tzu-Chun Chen, Romain Demangeon, Kohei Honda & Nobuko Yoshida (2013): Monitoring Networks through Multiparty Session Types. In: FMOODS/FORTE, LNCS 7892. Springer, pp. 50–65. Available at
  5. Laura Bocchi, Kohei Honda, Emilio Tuosto & Nobuko Yoshida (2010): A Theory of Design-by-contract for Distributed Multiparty Interactions. In: CONCUR, LNCS. Springer, pp. 162–176. Available at
  6. Viviana Bono, Sara Capecchi, Ilaria Castellani & Mariangiola Dezani-Ciancaglini (2012): A Reputation System for Multirole Sessions. In: TGC, LNCS 7173. Springer, pp. 1–24. Available at
  7. Sara Capecchi, Ilaria Castellani & Mariangiola Dezani-Ciancaglini (2011): Information Flow Safety in Multiparty Sessions. In: EXPRESS, EPTCS 64, pp. 16–31. Available at
  8. Sara Capecchi, Ilaria Castellani, Mariangiola Dezani-Ciancaglini & Tamara Rezk (2010): Session Types for Access and Information Flow Control. In: CONCUR, LNCS 6269. Springer, pp. 237–252. Available at
  9. Marco Carbone & Fabrizio Montesi (2012): Merging Multiparty Protocols in Multiparty Choreographies. In: PLACES, EPTCS 109, pp. 21–27. Available at
  10. Giuseppe Castagna, Mariangiola Dezani-Ciancaglini & Luca Padovani (2012): On Global Types and Multi-Party Sessions. Log. Meth. Comp. Scie. 8, pp. 1–45. Available at
  11. Tzu-Chun Chen (2013): Theories for Session-based Governance for Large-Scale Distributed Systems. Queen Mary, University of London, UK. Available at
  12. Tzu-Chun Chen, Laura Bocchi, Pierre-Malo Deniélou, Kohei Honda & Nobuko Yoshida (2011): Asynchronous Distributed Monitoring for Multiparty Session Enforcement. In: TGC, LNCS 7454, pp. 25–45. Available at
  13. Tzu-Chun Chen & Kohei Honda (2012): Specifying Stateful Asynchronous Properties for Distributed Programs. In: CONCUR, LNCS 7454, pp. 209–224. Available at
  14. Romain Demangeon & Kohei Honda (2012): Nested Protocols in Session Types. In: CONCUR, LNCS 7454. Springer, pp. 272–286. Available at
  15. Pierre-Malo Deniélou & Nobuko Yoshida (2011): Dynamic Multirole Session Types. In: POPL. ACM, pp. 435–446. Available at
  16. Yliès Falcone (2010): You Should Better Enforce Than Verify. In: Runtime Verification, LNCS. Springer, pp. 89–105. Available at
  17. Jifeng He, M. B. Josephs & C. A. R. Hoare (1990): A Theory of Synchrony and Asynchrony. Available at LaTeXed manuscript.
  18. Kohei Honda, Raymond Hu, Rumyana Neykova, Tzu-Chun Chen, Romain Demangeon, Pierre-Malo Deniélou & Nobuko Yoshida (2012): Structuring Communication with Session Types. In: To appear in COB 2012. Available at
  19. Kohei Honda, Aybek Mukhamedov, Gary Brown, Tzu-Chun Chen & Nobuko Yoshida (2011): Scribbling Interactions with a Formal Foundation. In: ICDCIT, LNCS 6536, pp. 55–75. Available at
  20. Kohei Honda & Mario Tokoro (1991): An Object Calculus for Asynchronous Communication. In: ECOOP'91, LNCS 512, pp. 133–147. Available at
  21. Kohei Honda, Nobuko Yoshida & Marco Carbone (2008): Multiparty Asynchronous Session Types. In: POPL. ACM, pp. 273–284. Available at
  22. Dimitrios Kouzapas, Nobuko Yoshida & Kohei Honda (2011): On Asynchronous Session Semantics. In: FMOODS/FORTE, pp. 228–243. Available at
  23. Ocean Observatories Initiative.
  24. Olaf Owe, Martin Steffen & Arild B. Torjusen (2010): Model Testing Asynchronously Communicating Objects using Modulo AC Rewriting. ENCS 264(3), pp. 69–84. Available at
  25. Scribble Project homepage.
  26. Nobuko Yoshida, Raymond Hu, Rumyana Neykova & Nicholas Ng (2014): The Scribble Protocol Language. In: TGC 2013. Available at

Comments and questions to:
For website issues: