Lang-n-Send Extended: Sending Regular Expressions to Monitors

DOI10.4204/eptcs.365.5arXiv2208.04635OpenAlexW4290647976MaRDI QIDQ6122642

Matteo Cimini

Publication date: 1 March 2024

Published in: Electronic Proceedings in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/2208.04635

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• On the expressibility of priority
• A calculus of mobile processes. I
• Structured operational semantics and bisimulation as a congruence
• The meaning of negative premises in transition system specifications. II
• A process algebra for timed systems
• On the effectiveness of higher-order logic programming in language-oriented programming
• A Theory of Monitors
• Programming with Higher-Order Logic
• The meaning of negative premises in transition system specifications
• Tools and Algorithms for the Construction and Analysis of Systems
• Verification, Model Checking, and Abstract Interpretation