References

  1. Advanced Message Queuing Protocols (AMQP) homepage. http://jira.amqp.org/confluence/display/AMQP/Advanced+Message+Queuing+Protocol.
  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 http://dx.doi.org/10.1007/978-3-642-37890-4_5.
  3. Luciano Baresi, Carlo Ghezzi & Sam Guinea (2004): Smart monitors for composed services. In: ICSOC '04, pp. 193–202. Available at http://doi.acm.org/10.1145/1035167.1035195.
  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 http://dx.doi.org/10.1007/978-3-642-15375-4_12.
  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 http://dx.doi.org/10.1007/978-3-642-30065-3_2.
  7. Pierre-Malo Deniélou & Nobuko Yoshida (2012): Multiparty Session Types Meet Communicating Automata. In: ESOP, LNCS. Springer. Available at http://dx.doi.org/10.1007/978-3-642-28869-2_10.
  8. Yuan Gan (2007): Runtime monitoring of web service conversations. In: CASCON '07. ACM, pp. 42–57. Available at http://doi.ieeecomputersociety.org/10.1109/TSC.2009.16.
  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 http://dx.doi.org/10.1007/978-3-642-14107-2_16.
  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 http://dx.doi.org/10.1093/logcom/exn079.
  11. OOI. http://www.oceanobservatories.org/.
  12. AMQP for Python (PIKA). https://github.com/pika/pika.
  13. Scribble Project homepage. http://www.scribble.org.
  14. Full version of this paper. http://www.doc.ic.ac.uk/~rn710/spy.
Comments and questions to: eptcs@eptcs.org
For website issues: webmaster@eptcs.org