References

  1. 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.
  2. 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.
  3. 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.
  4. G. Bernardi & M. Hennessy: Mutually Testing Processes. LMCS 11, doi:10.2168/LMCS-11(2:1)2015.
  5. Daniel Brand & Pitro Zafiropulo (1983): On Communicating Finite-State Machines. Journal of the ACM 30(2), pp. 323–342, doi:10.1145/322374.322380.
  6. 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.
  7. 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.
  8. 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.
  9. 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.
  10. Feng Chen, Dongyun Jin, Patrick Meredith & Grigore Roşu (2009): Monitoring Oriented Programming - A Project Overview. In: ICICIS'09. ACM, pp. 72–77.
  11. 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.
  12. 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.
  13. Adrian Francalanza (2017): Consistently-Detecting Monitors. In: CONCUR, LNCS. Springer. (to appear).
  14. 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.
  15. 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.
  16. 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.
  17. Jim Gray (1986): Why Do Computers Stop and What Can Be Done About It?. In: SRDS. IEEE, doi:10.1109/MC.1983.1654340.
  18. 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.
  19. 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.
  20. Mehdi Amoui Kalareh (2012): Evolving Software Systems for Self-Adaptation. University of Waterloo, Ontario, Canada.
  21. 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.
  22. Stephen Kell (2008): A Survey of Practical Software Adaptation Techniques. 14(13), pp. 2110–2157, doi:10.3217/jucs-014-13-2110.
  23. 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.
  24. Julien Lange, Emilio Tuosto & Nobuko Yoshida (2015): From Communicating Machines to Graphical Choreographies. In: POPL15, pp. 221–232, doi:10.1145/2676726.2676964.
  25. 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.
  26. 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.
  27. Claudio Antares Mezzina & Emilio Tuosto (2017): Choreographies for Automatic Recovery. CoRR abs/1705.09525.
  28. Rumyana Neykova & Nobuko Yoshida (2017): Let it recover: multiparty protocol-induced recovery. In: CC2017, pp. 98–108, doi:10.1145/3033019.3033031.
  29. 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.
  30. Paul Rook (1990): Software Reliability Handbook. Elsevier Science Inc., New York, NY, USA.
  31. Dave Thomas (2014): Programming Elixir: Functional , Concurrent , Pragmatic , Fun, 1st edition. Pragmatic Bookshelf.
  32. Derek Wyatt (2013): Akka Concurrency. Artima Incorporation, USA.

Comments and questions to: eptcs@eptcs.org
For website issues: webmaster@eptcs.org