Listar por tema "Event oriented programming"
Mostrando ítems 1-3 de 3
-
REAL-T: Time Modularization in Reactive Distributed Applications
(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 ... -
REAL-T: Time Modularization in Reactive Distributed Applications
(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 ... -
Towards Real-Time Semantics for a Distributed Event-Based MOP Language
(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 ...