References

  1. Luca Aceto, Antonis Achilleos, Adrian Francalanza, Anna Ingólfsdóttir & Karoliina Lehtinen (2019): Adventures in monitorability: from branching to linear time and back again. Proc. ACM Program. Lang. 3(POPL), pp. 52:1–52:29, doi:10.1145/3290365.
  2. Luca Aceto, Antonis Achilleos, Adrian Francalanza, Anna Ingólfsdóttir & Karoliina Lehtinen (2019): An Operational Guide to Monitorability. In: Software Engineering and Formal Methods - 17th International Conference, SEFM 2019, Oslo, Norway, September 18-20, 2019, Proceedings, pp. 433–453, doi:10.1007/978-3-030-30446-1_23.
  3. Luca Aceto & Anna Ingólfsdóttir (2008): On the expressibility of priority. Information Processing Letters 109(1), pp. 83–85, doi:10.1016/j.ipl.2008.09.002.
  4. Duncan P. Attard, Luca Aceto, Antonis Achilleos, Adrian Francalanza, Anna Ingólfsdóttir & Karoliina Lehtinen (2021): Better Late Than Never or: Verifying Asynchronous Components at Runtime. In: Kirstin Peters & Tim A. C. Willemse: Formal Techniques for Distributed Objects, Components, and Systems - 41st IFIP WG 6.1 International Conference, FORTE 2021, Held as Part of the 16th International Federated Conference on Distributed Computing Techniques, DisCoTec 2021, Valletta, Malta, June 14-18, 2021, Proceedings, Lecture Notes in Computer Science 12719. Springer, pp. 207–225, doi:10.1007/978-3-030-78089-0_14.
  5. Duncan P. Attard & Adrian Francalanza (2016): A Monitoring Tool for a Branching-Time Logic. In: Yliès Falcone & César Sánchez: Runtime Verification - 16th International Conference, RV 2016, Madrid, Spain, September 23-30, 2016, Proceedings, Lecture Notes in Computer Science 10012. Springer, pp. 473–481, doi:10.1007/978-3-319-46982-9_31.
  6. Jos C. M. Baeten & Jan A. Bergstra (2000): Mode transfer in process algebra. Computing Science Reports 00-01. Technische Universiteit Eindhoven. Available at https://research.tue.nl/en/publications/mode-transfer-in-process-algebra.
  7. Howard Barringer, Allen Goldberg, Klaus Havelund & Koushik Sen (2004): Rule-Based Runtime Verification. In: Bernhard Steffen & Giorgio Levi: Verification, Model Checking, and Abstract Interpretation. Springer Berlin Heidelberg, Berlin, Heidelberg, pp. 44–57, doi:10.1007/978-3-540-24622-0_5.
  8. Roland Bol & Jan F. Groote (1996): The Meaning of Negative Premises in Transition System Specifications. Journal of the ACM 43(5), pp. 863–914, doi:10.1145/234752.234756.
  9. Ian Cassar, Adrian Francalanza, Luca Aceto & Anna Ingólfsdóttir (2017): A Survey of Runtime Monitoring Instrumentation Techniques. In: Proceedings Second International Workshop on Pre- and Post-Deployment Verification Techniques, PrePost@iFM 2017, Torino, Italy, 19th September 2017, pp. 15–28, doi:10.4204/EPTCS.254.2.
  10. Feng Chen & Grigore Roşu (2005): Java-MOP: A Monitoring Oriented Programming Environment for Java. In: Proceedings of the 11th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS'05. Springer-Verlag, Berlin, Heidelberg, pp. 546–550, doi:10.1007/978-3-540-31980-1_36.
  11. Matteo Cimini (2018): Languages as First-Class Citizens (Vision Paper). In: Proceedings of the 11th ACM SIGPLAN International Conference on Software Language Engineering, SLE 2018. Association for Computing Machinery, New York, NY, USA, pp. 65–69, doi:10.1145/3276604.3276983.
  12. Matteo Cimini (2020): On the Effectiveness of Higher-Order Logic Programming in Language-Oriented Programming. In: Functional and Logic Programming - 15th International Symposium, FLOPS 2020, Akita, Japan, September 14-16, 2020, Proceedings, pp. 106–123, doi:10.1007/978-3-030-59025-3_7.
  13. Matteo Cimini (2021): A Calculus for Multi-language Operational Semantics. In: Software Verification - 13th International Conference, VSTTE 2021, New Haven, CT, USA, October 18-19, 2021, and 14th International Workshop, NSV 2021, Los Angeles, CA, USA, July 18-19, 2021, Revised Selected Papers, pp. 25–42, doi:10.1007/978-3-030-95561-8_3.
  14. Matteo Cimini (2022): Lang-n-Send: Processes That Send Languages. In: Proceedings of the 13th International Workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software (PLACES 2022) 356. Open Publishing Association, pp. 46–56, doi:10.4204/eptcs.356.5.
  15. Matteo Cimini, Dale Miller & Jeremy G. Siek (2020): Extrinsically typed operational semantics for functional languages. In: Proceedings of the 13th ACM SIGPLAN International Conference on Software Language Engineering, SLE 2020, Virtual Event, USA, November 16-17, 2020, pp. 108–125, doi:10.1145/3426425.3426936.
  16. Sebastian Erdweg, Tijs van der Storm, Markus Völter, Meinte Boersma, Remi Bosman, William R. Cook, Albert Gerritsen, Angelo Hulshout, Steven Kelly, Alex Loh, Gabriël D. P. Konat, Pedro J. Molina, Martin Palatnik, Risto Pohjonen, Eugen Schindler, Klemens Schindler, Riccardo Solmi, Vlad A. Vergu, Eelco Visser, Kevin van der Vlist, Guido H. Wachsmuth & Jimi van der Woning (2013): The State of the Art in Language Workbenches. In: Martin Erwig, Richard F. Paige & Eric Wyk: Software Language Engineering, Lecture Notes in Computer Science 8225. Springer, pp. 197–217, doi:10.1007/978-3-319-02654-1_11.
  17. Adrian Francalanza (2016): A Theory of Monitors - (Extended Abstract). In: Bart Jacobs & Christof Löding: Foundations of Software Science and Computation Structures - 19th International Conference, FOSSACS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings, Lecture Notes in Computer Science 9634. Springer, pp. 145–161, doi:10.1007/978-3-662-49630-5_9.
  18. Rob J. van Glabbeek (2004): The meaning of negative premises in transition system specifications II. Journal of Logical and Algebraic Methods in Programming 60-61, pp. 229–258, doi:10.1016/j.jlap.2004.03.007.
  19. Jan F. Groote & Frits Vaandrager (1992): Structured Operational Semantics and Bisimulation as a Congruence. Information and Compututation 100(2), pp. 202–260, doi:10.1016/0890-5401(92)90013-6.
  20. Matthew Hennessy & Tim Regan (1995): A Process Algebra for Timed Systems. Information and Computation 117(2), pp. 221–239, doi:10.1006/inco.1995.1041.
  21. Albert R. Meyer & Larry J. Stockmeyer (1972): The Equivalence Problem for Regular Expressions with Squaring Requires Exponential Space. In: Proceedings of the 13th Annual Symposium on Switching and Automata Theory, SWAT'72. IEEE Computer Society, USA, pp. 125–129, doi:10.1109/SWAT.1972.29.
  22. Dale Miller & Gopalan Nadathur (2012): Programming with Higher-Order Logic, 1st edition. Cambridge University Press, New York, NY, USA, doi:10.1017/CBO9781139021326.
  23. Robin Milner, Joachim Parrow & David Walker (1992): A calculus of mobile processes, I. Information and Computation 100(1), pp. 1–40, doi:10.1016/0890-5401(92)90008-4.
  24. Joachim Parrow, Johannes Borgström, Lars-Henrik Eriksson, Ramunas Gutkovas & Tjark Weber (2015): Modal Logics for Nominal Transition Systems. In: 26th International Conference on Concurrency Theory, CONCUR 2015, Madrid, Spain, Sept. 1-4, 2015, pp. 198–211, doi:10.4230/LIPIcs.CONCUR.2015.198.
  25. Alceste Scalas & Massimo Bartoletti (2015): The LTS WorkBench. In: Proceedings 8th Interaction and Concurrency Experience, ICE 2015, Grenoble, France, 4-5th June 2015, pp. 86–98, doi:10.4204/EPTCS.189.8.
  26. Thomas Wilke (1999): Classifying Discrete Temporal Properties. In: Proceedings of the 16th Annual Conference on Theoretical Aspects of Computer Science, STACS'99. Springer-Verlag, Berlin, Heidelberg, pp. 32–46, doi:10.1007/3-540-49116-3_3.
Comments and questions to: eptcs@eptcs.org
For website issues: webmaster@eptcs.org