@misc(AMQP,
 title        = "{A}dvanced {M}essage {Q}ueuing Protocols {(AMQP)} homepage",
 howpublished = "\url {http://jira.amqp.org/confluence/display/AMQP/Advanced+Message+Queuing+Protocol}",
)
@inproceedings(dalt12,
 author       = "Davide Ancona and Sophia Drossopoulou and Viviana Mascardi",
 year         = "2012",
 title        = "Automatic Generation of Self-Monitoring MASs from Multiparty Global Session Types in {J}ason",
 booktitle    = "DALT'12",
 publisher    = "Springer",
 url          = "http://dx.doi.org/10.1007/978-3-642-37890-4_5",
)
@inproceedings(Baresi:2004,
 author       = "Luciano Baresi and Carlo Ghezzi and Sam Guinea",
 year         = "2004",
 title        = "Smart monitors for composed services",
 booktitle    = "ICSOC '04",
 pages        = "193--202",
 url          = "http://doi.acm.org/10.1145/1035167.1035195",
)
@inproceedings(BHTY10,
 author       = "Laura Bocchi and Kohei Honda and Emilio Tuosto and Nobuko Yoshida",
 year         = "2010",
 title        = "A theory of design-by-contract for distributed multiparty interactions",
 booktitle    = "CONCUR",
 series       = "LNCS",
 volume       = "6269",
 pages        = "162--176",
 url          = "http://dx.doi.org/10.1007/978-3-642-15375-4_12",
)
@phdthesis(TC2013,
 author       = "Tzu chun Chen",
 year         = "2013",
 title        = "Theories for Session-based Governance for Large-scale Distributed Systems",
 school       = "Queen Mary, University of London",
)
@inproceedings(TGC11,
 author       = "Tzu-Chun Chen",
 year         = "2012",
 title        = "Asynchronous Distributed Monitoring for Multiparty Session Enforcement",
 booktitle    = "TGC'11",
 series       = "LNCS",
 publisher    = "Springer",
 url          = "http://dx.doi.org/10.1007/978-3-642-30065-3_2",
)
@inproceedings(DY12,
 author       = "Pierre-Malo Deni{\'e}lou and Nobuko Yoshida",
 year         = "2012",
 title        = "Multiparty Session Types Meet Communicating Automata",
 booktitle    = "ESOP",
 series       = "LNCS",
 publisher    = "Springer",
 url          = "http://dx.doi.org/10.1007/978-3-642-28869-2_10",
)
@inproceedings(Gan:2007,
 author       = "Yuan Gan",
 year         = "2007",
 title        = "Runtime monitoring of web service conversations",
 booktitle    = "CASCON '07",
 publisher    = "ACM",
 pages        = "42--57",
 url          = "http://doi.ieeecomputersociety.org/10.1109/TSC.2009.16",
)
@inproceedings(event,
 author       = "Raymond Hu and Dimitrios Kouzapas and Olivier Pernet and Nobuko Yoshida and Kohei Honda",
 year         = "2010",
 title        = "Type-Safe Eventful Sessions in {J}ava",
 booktitle    = "ECOOP'10",
 series       = "LNCS",
 volume       = "6183",
 publisher    = "Springer-Verlag",
 pages        = "329--353",
 url          = "http://dx.doi.org/10.1007/978-3-642-14107-2_16",
)
@article(DBLP:journals/logcom/KrugerMM10,
 author       = "Ingolf~H. Kr{\"u}ger and Michael Meisinger and Massimiliano Menarini",
 year         = "2010",
 title        = "Interaction-based Runtime Verification for Systems of Systems Integration",
 journal      = "J. Log. Comput.",
 volume       = "20",
 number       = "3",
 pages        = "725--742",
 url          = "http://dx.doi.org/10.1093/logcom/exn079",
)
@misc(OOI,
 title        = "{O}{O}{I}",
 note         = "\url {http://www.oceanobservatories.org/}",
)
@misc(PIKA,
 title        = "{A}{M}{Q}{P} for Python {(PIKA)}",
 howpublished = "\url {https://github.com/pika/pika}",
)
@misc(Scribble,
 title        = "{{S}cribble {P}roject homepage}",
 note         = "\url {http://www.scribble.org}",
)
@misc(spy,
 title        = "{F}ull version of this paper",
 howpublished = "\url {http://www.doc.ic.ac.uk/~rn710/spy}",
)