Now showing items 1-3 of 3

    • REAL-T: Time Modularization in Reactive Distributed Applications 

      Benavides Navarro, Luis Daniel; Pimienta, Camilo; Sanabria, Mateo; Díaz, Daniel; Garzón, Wilmer; Melo, Willson; Arboleda, Hugo (Springer NatureSuiza, 2018)
      In this paper, we propose REAL-T, a distributed event-based language with explicit support for time manipulation. The language introduces automata for operational time manipulation, causality constructs and Linear Temporal ...
    • REAL-T: Time Modularization in Reactive Distributed Applications 

      Benavides Navarro, Luis Daniel; Pimienta, Camilo; Sanabria, Mateo; Díaz, Daniel; Garzón, Wilmer; Mello, Wilson; Arboleda, Hugo (Springer NatureSwitzerland., 2018)
      In this paper, we propose REAL-T, a distributed event-based language with explicit support for time manipulation. The language introduces automata for operational time manipulation, causality constructs and Linear Temporal ...
    • 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 ...