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