de la representación formal de búcles y condicionales en escenarios complejos. • Desarrollar un formalismo que permita representar tiempo flexible y jerarquía. • Portar lo anterior a un framework C++. 5Curso Bases Formales de la Computación, Programación Concurrente y Distribuida, Matemáticas Discretas para Computación, Lógica en Ciencias de la Computación, Inteligencia Artificial, Análisis y Diseño de Algoritmos, Desarrollo Formal de Software, entre otras. Jaime E. Arias Almeida Partituras Interactivas 17/19 17/19