Repositorio RUIdeRA

Listar Departamento de Tecnologías y Sistemas de Información por autor "Cazorla López, Diego"

Listar Departamento de Tecnologías y Sistemas de Información por autor "Cazorla López, Diego"

Ordenar por:Orden:Resultados:

  • Cazorla López, Diego (Ediciones de la Universidad de Castilla-La Mancha, 2001)
    En esta tesis presentamos un modelo algebraico para procesos probabilísticos y no deterministas (pnal), que extiende el modelo epl de m. Hennessy (algebraic theroy of processes, mit press, 1988). La sintaxis de pnal es ...

Buscar en RUIdeRA


Búsqueda avanzada

Listar

Mi cuenta