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