REAL-T: Time Modularization in Reactive Distributed Applications

En este artículo, proponemos REAL-T, un lenguaje distribuido basado en eventos con soporte explícito para la manipulación del tiempo. El lenguaje introduce autómatas para la manipulación del tiempo operacional, construcciones de causalidad y lógica temporal lineal para predicados de tiempo declarati...

Descripción completa

Detalles Bibliográficos
Autores Principales: Benavides Navarro,Luis Daniel, Pimienta, Camilo, Sanabria , MAteo, Garzón Wilmer, Melo Wilson, Díaz Lopez, Daniel Orlando
Formato: Capítulo de libro (Book Chapter)
Lenguaje:Inglés (English)
Publicado: Springer Nature 2018
Materias:
Acceso en línea:https://repository.urosario.edu.co/handle/10336/28805
https://doi.org/10.1007/978-3-319-98998-3_9