En busca del tiempo perdido

  1. Ortega Mallén, Yolanda
Zuzendaria:
  1. David de Frutos Escrig Zuzendaria

Defentsa unibertsitatea: Universidad Complutense de Madrid

Defentsa urtea: 1990

Epaimahaia:
  1. Antonio Vaquero Sánchez Presidentea
  2. Juan Carlos Martínez Alonso Idazkaria
  3. Klaus Indermark Kidea
  4. Fernando Orejas Valdés Kidea
  5. Ricardo Peña Marí Kidea
Saila:
  1. Sistemas Informáticos y Computación

Mota: Tesia

Teseo: 25284 DIALNET

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,