

, Juan Carlos Martínez Alonso (secret.)
, Klaus Indermark (voc.)
, Fernando Orejas Valdés (voc.)
, Ricardo Peña Marí (voc.) 
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,
© 2008-2025 Fundación Dialnet · Todos los derechos reservados