Sistemas concurrentes y propiedades de verificación de procesos
1993·ciencia ficcion
Un texto avanzado que aborda los fundamentos teóricos de los sistemas concurrentes, incluyendo modelos de procesos, lenguajes de descripción, y métodos formales para verificar sus propiedades y evitar errores.







