1. Advanced Message Queuing Protocols (AMQP) homepage.
  2. Davide Ancona, Sophia Drossopoulou & Viviana Mascardi (2012): Automatic Generation of Self-Monitoring MASs from Multiparty Global Session Types in Jason. In: DALT'12. Springer. Available at
  3. Luciano Baresi, Carlo Ghezzi & Sam Guinea (2004): Smart monitors for composed services. In: ICSOC '04, pp. 193–202. Available at
  4. Laura Bocchi, Kohei Honda, Emilio Tuosto & Nobuko Yoshida (2010): A theory of design-by-contract for distributed multiparty interactions. In: CONCUR, LNCS 6269, pp. 162–176. Available at
  5. Tzu chun Chen (2013): Theories for Session-based Governance for Large-scale Distributed Systems. Queen Mary, University of London.
  6. Tzu-Chun Chen (2012): Asynchronous Distributed Monitoring for Multiparty Session Enforcement. In: TGC'11, LNCS. Springer. Available at
  7. Pierre-Malo Deniélou & Nobuko Yoshida (2012): Multiparty Session Types Meet Communicating Automata. In: ESOP, LNCS. Springer. Available at
  8. Yuan Gan (2007): Runtime monitoring of web service conversations. In: CASCON '07. ACM, pp. 42–57. Available at
  9. Raymond Hu, Dimitrios Kouzapas, Olivier Pernet, Nobuko Yoshida & Kohei Honda (2010): Type-Safe Eventful Sessions in Java. In: ECOOP'10, LNCS 6183. Springer-Verlag, pp. 329–353. Available at
  10. Ingolf H. Krüger, Michael Meisinger & Massimiliano Menarini (2010): Interaction-based Runtime Verification for Systems of Systems Integration. J. Log. Comput. 20(3), pp. 725–742. Available at
  11. OOI.
  12. AMQP for Python (PIKA).
  13. Scribble Project homepage.
  14. Full version of this paper.

Comments and questions to:
For website issues: