publicaciones seleccionadas artículo académico A Semantic Framework for the Design of Distributed Reactive Real-Time Languages and Applications 2020-7-20