En busca del tiempo perdido
- David de Frutos Escrig Zuzendaria
Defentsa unibertsitatea: Universidad Complutense de Madrid
Defentsa urtea: 1990
- Antonio Vaquero Sánchez Presidentea
- Juan Carlos Martínez Alonso Idazkaria
- Klaus Indermark Kidea
- Fernando Orejas Valdés Kidea
- Ricardo Peña Marí Kidea
Mota: Tesia
Laburpena
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,