En busca del tiempo perdido

  1. Ortega Mallén, Yolanda
Supervised by:
  1. David de Frutos Escrig Director

Defence university: Universidad Complutense de Madrid

Year of defence: 1990

Committee:
  1. Antonio Vaquero Sánchez Chair
  2. Juan Carlos Martínez Alonso Secretary
  3. Klaus Indermark Committee member
  4. Fernando Orejas Valdés Committee member
  5. Ricardo Peña Marí Committee member
Department:
  1. Sistemas Informáticos y Computación

Type: Thesis

Teseo: 25284 DIALNET

Abstract

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,