Advanced Message Queuing Protocols (AMQP) homepage http://jira.amqp.org/confluence/display/AMQP/Advanced+Message+Queuing+Protocol Davide Ancona Sophia Drossopoulou Viviana Mascardi 2012 Automatic Generation of Self-Monitoring MASs from Multiparty Global Session Types in Jason DALT'12 Springer http://dx.doi.org/10.1007/978-3-642-37890-4_5 Luciano Baresi Carlo Ghezzi Sam Guinea 2004 Smart monitors for composed services ICSOC '04 193–202 http://doi.acm.org/10.1145/1035167.1035195 Laura Bocchi Kohei Honda Emilio Tuosto Nobuko Yoshida 2010 A theory of design-by-contract for distributed multiparty interactions CONCUR LNCS 6269 162–176 http://dx.doi.org/10.1007/978-3-642-15375-4_12 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 http://dx.doi.org/10.1007/978-3-642-30065-3_2 Pierre-Malo Deniélou Nobuko Yoshida 2012 Multiparty Session Types Meet Communicating Automata ESOP LNCS Springer http://dx.doi.org/10.1007/978-3-642-28869-2_10 Yuan Gan 2007 Runtime monitoring of web service conversations CASCON '07 ACM 42–57 http://doi.ieeecomputersociety.org/10.1109/TSC.2009.16 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 http://dx.doi.org/10.1007/978-3-642-14107-2_16 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 http://dx.doi.org/10.1093/logcom/exn079 OOI http://www.oceanobservatories.org/ AMQP for Python (PIKA) https://github.com/pika/pika Scribble Project homepage http://www.scribble.org Full version of this paper http://www.doc.ic.ac.uk/~rn710/spy