En busca del tiempo perdido

  1. Ortega Mallén, Yolanda
Dirigée par:
  1. David de Frutos Escrig Directeur

Université de défendre: Universidad Complutense de Madrid

Année de défendre: 1990

Jury:
  1. Antonio Vaquero Sánchez President
  2. Juan Carlos Martínez Alonso Secrétaire
  3. Klaus Indermark Rapporteur
  4. Fernando Orejas Valdés Rapporteur
  5. Ricardo Peña Marí Rapporteur
Département:
  1. Sistemas Informáticos y Computación

Type: Thèses

Teseo: 25284 DIALNET

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,