En busca del tiempo perdido

  1. Ortega Mallén, Yolanda
unter der Leitung von:
  1. David de Frutos Escrig Doktorvater

Universität der Verteidigung: Universidad Complutense de Madrid

Jahr der Verteidigung: 1990

Gericht:
  1. Antonio Vaquero Sánchez Präsident
  2. Juan Carlos Martínez Alonso Sekretär/in
  3. Klaus Indermark Vocal
  4. Fernando Orejas Valdés Vocal
  5. Ricardo Peña Marí Vocal
Fachbereiche:
  1. Sistemas Informáticos y Computación

Art: Dissertation

Teseo: 25284 DIALNET

Zusammenfassung

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,