En busca del tiempo perdido

  1. Ortega Mallén, Yolanda
Dirixida por:
  1. David de Frutos Escrig Director

Universidade de defensa: Universidad Complutense de Madrid

Ano de defensa: 1990

Tribunal:
  1. Antonio Vaquero Sánchez Presidente
  2. Juan Carlos Martínez Alonso Secretario/a
  3. Klaus Indermark Vogal
  4. Fernando Orejas Valdés Vogal
  5. Ricardo Peña Marí Vogal
Departamento:
  1. Sistemas Informáticos y Computación

Tipo: Tese

Teseo: 25284 DIALNET

Resumo

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,