En busca del tiempo perdido
- David de Frutos Escrig Director
Defence university: Universidad Complutense de Madrid
Year of defence: 1990
- Antonio Vaquero Sánchez Chair
- Juan Carlos Martínez Alonso Secretary
- Klaus Indermark Committee member
- Fernando Orejas Valdés Committee member
- Ricardo Peña Marí Committee member
Type: Thesis
Abstract
SE PRESENTA EN EL TRABAJO UN MODELO SEMANTICO PARA PROCESOS CONCURRENTES EN TIEMPO REAL, QUE PERMITE INCORPORAR EL TIEMPO Y EXPRESAR LAS RESTRICCIONES TEMPORALES DE LOS PROCESOS CONCURRENTES, OBTENIENDO UN SISTEMA DE AXJOMAS CORRECTO Y COMPLETO PARA PROCESOS GUARDADOS,