Listar por tema "Programación distribuida"
Mostrando ítems 1-2 de 2
-
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 ...