En busca del tiempo perdido
- David de Frutos Escrig Director
Universidade de defensa: Universidad Complutense de Madrid
Ano de defensa: 1990
- Antonio Vaquero Sánchez Presidente
- Juan Carlos Martínez Alonso Secretario/a
- Klaus Indermark Vogal
- Fernando Orejas Valdés Vogal
- Ricardo Peña Marí Vogal
Tipo: Tese
Resumo
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,