@inproceedings(aceto:SHML,
 author       = "Luca Aceto and Anna Ingólfsdóttir",
 year         = "1999",
 title        = "Testing Hennessy-Milner Logic with Recursion",
 booktitle    = "FoSSaCS",
 series       = "LNCS",
 volume       = "1578",
 publisher    = "Springer",
 pages        = "41--55",
 doi          = "10.1007/3-540-49019-1\_4",
)
@inproceedings(BauFal12,
 author       = "Andreas Bauer and Ylies Falcone",
 year         = "2012",
 title        = "Decentralised LTL Monitoring",
 booktitle    = "Formal Methods (FM)",
 series       = "LNCS",
 volume       = "7436",
 publisher    = "Springer",
 pages        = "85--100",
 doi          = "10.1007/978-3-642-32759-9\_10",
)
@inproceedings(CasFra14,
 author       = "Ian Cassar and Adrian Francalanza",
 year         = "2014",
 title        = "On Synchronous and Asynchronous Monitor Instrumentation for Actor-based systems",
 booktitle    = "FOCLASA",
 series       = "EPTCS",
 volume       = "175",
 pages        = "54--68",
 doi          = "10.4204/EPTCS.175.4",
)
@book(Cesarini:2009,
 author       = "Francesco Cesarini and Simon Thompson",
 year         = "2009",
 title        = "ERLANG Programming",
 edition      = "1st",
 publisher    = "O'Reilly",
)
@inproceedings(elarva:2012,
 author       = "Christian Colombo and Adrian Francalanza and Rudolph Gatt",
 year         = "2011",
 title        = "Elarva: A Monitoring Tool for Erlang",
 booktitle    = "RV",
 series       = "LNCS",
 volume       = "7186",
 publisher    = "Springer",
 pages        = "370--374",
 doi          = "10.1007/978-3-642-29860-8\_29",
)
@article(FGP12DistribRV,
 author       = "Adrian Francalanza and Andrew Gauci and Gordon J. Pace",
 year         = "2013",
 title        = "{D}istributed {S}ystem {C}ontract {M}onitoring",
 journal      = "JLAP",
 volume       = "82",
 number       = "5-7",
 pages        = "186--215",
 doi          = "10.1016/j.jlap.2013.04.001",
)
@article(FraSey14,
 author       = "Adrian Francalanza and Aldrin Seychell",
 year         = "2014",
 title        = "Synthesising {C}orrect Concurrent {R}untime {M}onitors",
 journal      = "Formal Methods in System Design (FMSD)",
 pages        = "1--36",
 doi          = "10.1007/s10703-014-0217-9",
)
@inproceedings(fredlund:mcerlang,
 author       = "Lars-{\r A}ke Fredlund and Hans Svensson",
 year         = "2007",
 title        = "McErlang: a model checker for a distributed functional programming language",
 series       = "ICFP '07",
 publisher    = "ACM",
 address      = "New York, NY, USA",
 pages        = "125--136",
 doi          = "10.1145/1291151.1291171",
)
@book(yaws:12,
 author       = "Zachary Kessin",
 year         = "2012",
 title        = "Building Web Applications with Erlang: Working with REST and Web Sockets on Yaws",
 publisher    = "O'Reilly Media",
)
@article(Leu:RV:Overv,
 author       = "Martin Leucker and Christian Schallhart",
 year         = "2009",
 title        = "A brief account of {R}untime {V}erification",
 journal      = "JLAP",
 volume       = "78",
 number       = "5",
 pages        = "293 -- 303",
 doi          = "10.1016/j.jlap.2008.08.004",
)
@article(EfficientDec,
 author       = "Koushik Sen and Abhay Vardhan and Gul Agha and Grigore Ro\c {s}u",
 year         = "2004",
 title        = "Efficient Decentralized Monitoring of Safety in Distributed Systems",
 journal      = "ICSE",
 pages        = "418--427",
 doi          = "10.1109/ICSE.2004.1317464",
)
@article(marjan2004,
 author       = "Marjan Sirjani and Ali Movaghar and Amin Shali and Frank S. de Boer",
 year         = "2004",
 title        = "Modeling and Verification of Reactive Systems Using Rebeca",
 journal      = "Fundam. Inf.",
 volume       = "63",
 number       = "4",
 pages        = "385--410",
)
@article(tarski:55,
 author       = "Alfred Tarski",
 title        = "A lattice-theoretical fixpoint theorem and its applications.",
 journal      = "Pacific Journal of Mathematics",
 volume       = "5",
 number       = "2",
 pages        = "285--309",
 doi          = "10.2140/pjm.1955.5.285",
)
@inproceedings(dmac,
 author       = "Wenchao Zhou and Oleg Sokolsky and Boon Thau Loo and Insup Lee",
 year         = "2009",
 title        = "DMaC: Distributed Monitoring and Checking.",
 booktitle    = "RV",
 series       = "LNCS",
 volume       = "5779",
 publisher    = "Springer",
 pages        = "184--201",
 url          = "http://dblp.uni-trier.de/db/conf/rv/rv2009.html#ZhouSLL09",
)