En busca del tiempo perdido
- David de Frutos Escrig Directeur
Université de défendre: Universidad Complutense de Madrid
Année de défendre: 1990
- Antonio Vaquero Sánchez President
- Juan Carlos Martínez Alonso Secrétaire
- Klaus Indermark Rapporteur
- Fernando Orejas Valdés Rapporteur
- Ricardo Peña Marí Rapporteur
Type: Thèses
Résumé
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,