Luca Aceto & Anna Ingólfsdóttir (1999):
Testing Hennessy-Milner Logic with Recursion.
In: FoSSaCS,
LNCS 1578.
Springer,
pp. 41–55,
doi:10.1007/3-540-49019-1_4.
Andreas Bauer & Ylies Falcone (2012):
Decentralised LTL Monitoring.
In: Formal Methods (FM),
LNCS 7436.
Springer,
pp. 85–100,
doi:10.1007/978-3-642-32759-9_10.
Ian Cassar & Adrian Francalanza (2014):
On Synchronous and Asynchronous Monitor Instrumentation for Actor-based systems.
In: FOCLASA,
EPTCS 175,
pp. 54–68,
doi:10.4204/EPTCS.175.4.
Francesco Cesarini & Simon Thompson (2009):
ERLANG Programming,
1st edition.
O'Reilly.
Christian Colombo, Adrian Francalanza & Rudolph Gatt (2011):
Elarva: A Monitoring Tool for Erlang.
In: RV,
LNCS 7186.
Springer,
pp. 370–374,
doi:10.1007/978-3-642-29860-8_29.
Adrian Francalanza, Andrew Gauci & Gordon J. Pace (2013):
Distributed System Contract Monitoring.
JLAP 82(5-7),
pp. 186–215,
doi:10.1016/j.jlap.2013.04.001.
Adrian Francalanza & Aldrin Seychell (2014):
Synthesising Correct Concurrent Runtime Monitors.
Formal Methods in System Design (FMSD),
pp. 1–36,
doi:10.1007/s10703-014-0217-9.
Lars-Åke Fredlund & Hans Svensson (2007):
McErlang: a model checker for a distributed functional programming language.
ICFP '07.
ACM,
New York, NY, USA,
pp. 125–136,
doi:10.1145/1291151.1291171.
Zachary Kessin (2012):
Building Web Applications with Erlang: Working with REST and Web Sockets on Yaws.
O'Reilly Media.
Martin Leucker & Christian Schallhart (2009):
A brief account of Runtime Verification.
JLAP 78(5),
pp. 293 – 303,
doi:10.1016/j.jlap.2008.08.004.
Koushik Sen, Abhay Vardhan, Gul Agha & Grigore Roşu (2004):
Efficient Decentralized Monitoring of Safety in Distributed Systems.
ICSE,
pp. 418–427,
doi:10.1109/ICSE.2004.1317464.
Marjan Sirjani, Ali Movaghar, Amin Shali & Frank S. de Boer (2004):
Modeling and Verification of Reactive Systems Using Rebeca.
Fundam. Inf. 63(4),
pp. 385–410.
Alfred Tarski:
A lattice-theoretical fixpoint theorem and its applications..
Pacific Journal of Mathematics 5(2),
pp. 285–309,
doi:10.2140/pjm.1955.5.285.