Buscar
Mostrando ítems 1-1 de 1
Towards Real-Time Semantics for a Distributed Event-Based MOP Language
(Springer Nature, 2018)
This paper investigates rewriting logic as a suitable means to model the semantics of distributed and concurrent systems implemented using Monitoring Oriented Programming (MOP) frameworks. MOP tools close the gap between ...