References

  1. ProActive Middleware. Available at https://github.com/scale-proactive.
  2. Wolfgang Ahrendt, Jesús Mauricio Chimento, Gordon J. Pace & Gerardo Schneider (2017): Verifying data- and control-oriented properties combining static and runtime verification: theory and tools. Formal Methods in System Design 51(1), pp. 200–265, doi:10.1007/s10703-017-0274-y.
  3. Elvira Albert, Puri Arenas, Antonio Flores-Montoya, Samir Genaim, Miguel Gómez-Zamalloa, Enrique Martin-Martin, Germán Puebla & Guillermo Román-Díez (2014): SACO: Static Analyzer for Concurrent Objects. In: Erika Ábrahám & Klaus Havelund: Proc. 20th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), LNCS 8413. Springer, pp. 562–567, doi:10.1007/978-3-642-54862-8_46.
  4. R. Ameur-Boulifa, L. Henrio, O. Kulankhina, E. Madelaine & A. Savu (2017): Behavioural semantics for asynchronous components. Journal of Logical and Algebraic Methods in Programming 89, pp. 1–40, doi:10.1016/j.jlamp.2017.02.003. Available at http://www.sciencedirect.com/science/article/pii/S2352220817300287.
  5. Frank De Boer, Vlad Serbanescu, Reiner Hähnle, Ludovic Henrio, Justine Rochas, Crystal Chang Din, Einar Broch Johnsen, Marjan Sirjani, Ehsan Khamespanah, Kiko Fernandez-Reyes & Albert Mingkun Yang (2017): A Survey of Active Object Languages. ACM Computing Surveys 50(5), pp. 1–39, doi:10.1145/3122848.
  6. Denis Caromel & Ludovic Henrio (2004): A Theory of Distributed Objects. Springer, doi:10.1007/b138812.
  7. Ian Cassar & Adrian Francalanza (2016): On Implementing a Monitor-Oriented Programming Framework for Actor Systems. In: Erika Ábrahám & Marieke Huisman: Integrated Formal Methods. Springer, pp. 176–192, doi:10.1007/978-3-319-33693-0_12.
  8. Jesús Mauricio Chimento, Wolfgang Ahrendt, Gordon J. Pace & Gerardo Schneider (2015): StaRVOOrS: A Tool for Combined Static and Runtime Verification of Java. In: Ezio Bartocci & Rupak Majumdar: Runtime Verification, Lecture Notes in Computer Science 9333. Springer, pp. 297–305, doi:10.1007/978-3-319-23820-3_21.
  9. Christian Colombo & Yliès Falcone (2016): Organising LTL monitors over distributed systems with a global clock. Formal Methods in System Design 49(1-2), pp. 109–158, doi:10.1007/s10703-016-0251-x.
  10. Christian Colombo, Adrian Francalanza & Rudolph Gatt (2012): Elarva: A Monitoring Tool for Erlang. In: Sarfraz Khurshid & Koushik Sen: Runtime Verification. Springer, pp. 370–374, doi:10.1007/BFb0053381.
  11. Christian Colombo, Gordon J. Pace & Gerardo Schneider (2009): LARVA — Safer Monitoring of Real-Time Java Programs (Tool Paper). In: Seventh IEEE International Conference on Software Engineering and Formal Methods (SEFM). IEEE Computer Society, pp. 33–37, doi:10.1109/SEFM.2009.13.
  12. W.P. de Roever, U. Hanneman, J. Hooiman, Y. Lakhneche, Mannes Poel, Jakob Zwiers & F. de Boer (2001): Concurrency Verification: Introduction to Compositional and Noncompositional Methods. Cambridge Tracts in Theoretical Computer Science. Cambridge University Press. Imported from HMI.
  13. Crystal Chang Din, S. Lizeth Tapia Tarifa, Reiner Hähnle & Einar Broch Johnsen (2015): History-Based Specification and Verification of Scalable Concurrent and Distributed Systems. In: Michael Butler, Sylvain Conchon & Fatiha Zaïdi: International Conference on Formal Engineering Methods (ICFEM), LNCS 9407. Springer, pp. 217–233, doi:10.1007/978-3-319-25423-4_14.
  14. Adrian Francalanza, Andrew Gauci & Gordon J. Pace (2013): Distributed System Contract Monitoring. The Journal of Logic and Algebraic Programming 82(5), pp. 186–215, doi:10.1016/j.jlap.2013.04.001. Available at http://www.sciencedirect.com/science/article/pii/S1567832613000234. Formal Languages and Analysis of Contract-Oriented Software (FLACOS'11).
  15. Adrian Francalanza, Claudio Antares Mezzina & Emilio Tuosto (2018): Reversible Choreographies via Monitoring in Erlang. In: Silvia Bonomi & Etienne Rivière: Distributed Applications and Interoperable Systems. Springer, pp. 75–92, doi:10.1016/j.jlamp.2017.11.002.
  16. Adrian Francalanza, Jorge A. Pérez & César Sánchez (2018): Runtime Verification for Decentralised and Distributed Systems, pp. 176–210. Springer, doi:10.1007/978-3-319-75632-5_6.
  17. Ludovic Henrio, Cosimo Laneve & Vincenzo Mastandrea (2017): Analysis of Synchronisations in Stateful Active Objects, pp. 195–210. Springer, doi:10.1007/978-3-319-66845-1_13.
  18. Ludovic Henrio & Justine Rochas (2017): Multiactive objects and their applications. Logical Methods in Computer Science Volume 13, Issue 4, doi:10.23638/LMCS-13(4:12)2017. Available at http://lmcs.episciences.org/4079.
  19. Carl Hewitt, Peter Bishop & Richard Steiger (1973): A Universal Modular ACTOR Formalism for Artificial Intelligence. In: Nils J. Nilsson: Proceedings of the 3rd International Joint Conference on Artificial Intelligence, IJCAI'73. W. Kaufmann, pp. 235–245.
  20. Laurent Pellegrino, Fabrice Huet, Françoise Baude & Amjad Alshabani (2013): A Distributed Publish/Subscribe System for RDF Data. In: Abdelkader Hameurlain, Wenny Rahayu & David Taniar: Data Management in Cloud, Grid and P2P Systems. Springer, pp. 39–50, doi:10.1145/964723.383071.
  21. S. Ratnasamy, P. Francis, M. Handley, R. Karp & S. Shenker (2001): A Scalable Content-Addressable Network. In: SIGCOMM. ACM, pp. 161–172, doi:10.1145/383059.383072.
  22. Marjan Sirjani, Ali Movaghar, Amin Shali & Frank S. de Boer (2004): Modeling and Verification of Reactive Systems using Rebeca. Fundamenta Informaticae 63(4), pp. 385–410.
  23. Derek Wyatt (2013): Akka Concurrency. Artima.
Comments and questions to: eptcs@eptcs.org
For website issues: webmaster@eptcs.org