REAL-T: Time Modularization in Reactive Distributed Applications
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 Logic for declarative time predicates, and a distributed-time aware event mod...
- Autores:
-
Benavides Navarro, Luis Daniel
Pimienta, Camilo
Sanabria, Mateo
Díaz, Daniel
Garzón, Wilmer
Melo, Willson
Arboleda, Hugo
- Tipo de recurso:
- Part of book
- Fecha de publicación:
- 2018
- Institución:
- Escuela Colombiana de Ingeniería Julio Garavito
- Repositorio:
- Repositorio Institucional ECI
- Idioma:
- eng
- OAI Identifier:
- oai:repositorio.escuelaing.edu.co:001/1476
- Acceso en línea:
- https://repositorio.escuelaing.edu.co/handle/001/1476
https://link.springer.com/chapter/10.1007%2F978-3-319-98998-3_9
- Palabra clave:
- Lenguaje de programación
Programación distribuida
Programación orientada a eventos
Distributed programming
Event oriented programming
Explicit and implicit time management
- Rights
- closedAccess
- License
- https://creativecommons.org/licenses/by/4.0/