A Semantic Framework for the Design of Distributed Reactive Real-Time Languages and Applications

Abstract

This work has been partially supported by Escuela Colombiana de Ingeniería Julio Garavito through the project "Diseño y construcción de herramientas reactivas con aplicaciones a middleware distribuido para el procesamiento de grandes volumenes de datos" as well as by the Department of Applied Mathematics and Computer Science at Universidad del Rosario.