Gul A. Agha (1990):
ACTORS - a model of concurrent computation in distributed systems.
MIT Press series in artificial intelligence.
MIT Press,
doi:10.1137/1030027.
Duncan Paul Attard & Adrian Francalanza (2016):
A Monitoring Tool for a Branching-Time Logic.
In: RV,
LNCS 10012.
Springer,
pp. 473–481,
doi:10.1007/978-3-319-46982-9_31.
Davide Basile, Pierpaolo Degano, Gian-Luigi Ferrari & Emilio Tuosto (2016):
Relating two automata-based models of orchestration and choreography.
JLAMP 85(3),
pp. 425 – 446,
doi:10.1016/j.jlamp.2015.09.011.
Daniel Brand & Pitro Zafiropulo (1983):
On Communicating Finite-State Machines.
Journal of the ACM 30(2),
pp. 323–342,
doi:10.1145/322374.322380.
Ian Cassar & Adrian Francalanza (2015):
Runtime Adaptation for Actor Systems.
In: Ezio Bartocci & Rupak Majumdar: RV2015,
LNCS 9333.
Springer,
pp. 38–54,
doi:10.1007/978-3-319-23820-3_3.
Ian Cassar & Adrian Francalanza (2016):
On Implementing a Monitor-Oriented Programming Framework for Actor Systems.
In: IFM 2016,
LNCS 9681.
Springer,
pp. 176–192,
doi:10.1007/978-3-319-33693-0_12.
G. Castagna, N. Gesbert & L. Padovani (2009):
A theory of contracts for Web services.
ACM Trans. Program. Lang. Syst. 31(5),
doi:10.1145/1538917.1538920.
Francesco Cesarini & Simon J. Thompson (2009):
Erlang Behaviours: Programming with Process Design Patterns.
In: CEFP 2009, Budapest, Hungary,
pp. 19–41,
doi:10.1007/978-3-642-17685-2_2.
Feng Chen, Dongyun Jin, Patrick Meredith & Grigore Roşu (2009):
Monitoring Oriented Programming - A Project Overview.
In: ICICIS'09.
ACM,
pp. 72–77.
Mario Coppo, Mariangiola Dezani-Ciancaglini & Betti Venneri (2014):
Self-Adaptive Monitors for Multiparty Sessions.
In: 22nd Euromicro International Conference on Parallel, Distributed, and Network-Based Processing, PDP 2014, Torino, Italy, February 12-14, 2014.
IEEE Computer Society,
pp. 688–696,
doi:10.1109/PDP.2014.18.
Adrian Francalanza (2016):
A Theory of Monitors - (Extended Abstract).
In: FoSSaCS,
LNCS 9634.
Springer,
pp. 145–161,
doi:10.1007/978-3-662-49630-5_9.
Adrian Francalanza, Luca Aceto & Anna Ingolfsdottir (2017):
Monitorability for the Hennessy–Milner logic with recursion.
Formal Methods in System Design,
pp. 1–30,
doi:10.1007/s10703-017-0273-z.
Adrian Francalanza, Andrew Gauci & Gordon J. Pace (2013):
Distributed System Contract Monitoring.
The Journal of Logic and Algebraic Programming (JLAP) 82(5-7),
pp. 186–215,
doi:10.1016/j.jlap.2013.04.001.
Adrian Francalanza & Aldrin Seychell (2015):
Synthesising Correct Concurrent Runtime Monitors.
Formal Methods in System Design (FMSD) 46(3),
pp. 226–261,
doi:10.1007/s10703-014-0217-9.
Jim Gray (1986):
Why Do Computers Stop and What Can Be Done About It?.
In: SRDS.
IEEE,
doi:10.1109/MC.1983.1654340.
Roberto Guanciale & Emilio Tuosto (2016):
An Abstract Semantics of the Global View of Choreographies.
In: ICE 2016, Heraklion, Greece,
pp. 67–82,
doi:10.4204/EPTCS.223.5.
Florian Irmert, Thomas Fischer & Klaus Meyer-Wegener (2008):
Runtime Adaptation in a Service-oriented Component Model.
SEAMS '08.
ACM,
pp. 97–104,
doi:10.1145/1370018.1370036.
Mehdi Amoui Kalareh (2012):
Evolving Software Systems for Self-Adaptation.
University of Waterloo,
Ontario, Canada.
Nickolas Kavantzas, Davide Burdett, Gregory Ritzinger, Tony Fletcher & Yves Lafon (2004):
Web Services Choreography Description Language Version 1.0.
http://www.w3.org/TR/2004/WD-ws-cdl-10-20041217.
Stephen Kell (2008):
A Survey of Practical Software Adaptation Techniques. 14(13),
pp. 2110–2157,
doi:10.3217/jucs-014-13-2110.
Ivan Lanese, Claudio Antares Mezzina, Alan Schmitt & Jean-Bernard Stefani (2011):
Controlling Reversibility in Higher-Order Pi.
In: CONCUR,
pp. 297–311,
doi:10.1007/978-3-642-23217-6_20.
Julien Lange, Emilio Tuosto & Nobuko Yoshida (2015):
From Communicating Machines to Graphical Choreographies.
In: POPL15,
pp. 221–232,
doi:10.1145/2676726.2676964.
Julien Lange, Emilio Tuosto & Nobuko Yoshida (2017):
A tool for choreography-based analysis of message-passing software.
ACM.
To appear. Available at http://www.cs.le.ac.uk/~et52/chorgram_betty_ch.pdf.
Patrick O'Neil Meredith, Dongyun Jin, Dennis Griffith, Feng Chen & Grigore Roşu (2011):
An Overview of the MOP Runtime Verification Framework.
International Journal on Software Techniques for Technology Transfer,
pp. 249–289,
doi:10.1007/s10009-011-0198-6.
Rumyana Neykova & Nobuko Yoshida (2017):
Let it recover: multiparty protocol-induced recovery.
In: CC2017,
pp. 98–108,
doi:10.1145/3033019.3033031.
Peyman Oreizy, Nenad Medvidovic & Richard N. Taylor (2008):
Runtime Software Adaptation: Framework, Approaches, and Styles.
ICSE Companion '08.
ACM,
New York, NY, USA,
pp. 899–910,
doi:10.1145/1370175.1370181.
Paul Rook (1990):
Software Reliability Handbook.
Elsevier Science Inc.,
New York, NY, USA.
Dave Thomas (2014):
Programming Elixir: Functional , Concurrent , Pragmatic , Fun,
1st edition.
Pragmatic Bookshelf.
Derek Wyatt (2013):
Akka Concurrency.
Artima Incorporation,
USA.