Now showing items 1-1 of 1

    • Towards Real-Time Semantics for a Distributed Event-Based MOP Language 

      Sanabria, Mateo; Garzón Alfonso, Wilmer; Benavides Navarro, Luis Daniel (Springer NatureSwitzerland., 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 ...