El objetivo general de este proyecto es la elaboración y uso de teorías semánticas que permitan describir, comprender y analizar programas, teniendo en cuenta los aspectos relativos al tiempo de ejecución y distribución en el espacio de los cómputos.
Deseamos utilizar estas teorías en la construcción de herramientas de alto nivel de ayuda al desarrollo y verificación de programas donde estos aspectos son esenciales (esto es, programas de tiempo real y sistemas distribuidos).
Entre los objetivos específicos cubiertos por el presente proyecto, se encuentra el estudio y la propuesta de modelos semánticos que permitan representar en forma coherente los fenómenos de tiempo y distribución espacial en los programas.