Limitacion de recursos en paralelismo real
Tesis doctoral de Ruiz Delgado María Carmen La tesis doctoral objeto de este informe se enmarca dentro de la utilización […]
Tesis doctoral de Oliver villarroya Francisco Javier
Información academica Oliver villarroya Francisco Javier. Tesis donde Oliver villarroya Francisco Javier ha sido autor, director o parte del tribunal.
Traduccion de tpalp en una clase probabilistica y temporizada de redes de petri.
Tesis doctoral de Antonio Bueno Aroca Tpalp es un lenguaje algebraico para la descripción de sistemas concurrentes con capacidad para
Traducción de tpalp en una clase probabilistica y temporizada de redes de petri
Tesis doctoral de Antonio Bueno Aroca Tpalp es un lenguaje algebraico para la descripción de sistemas concurrentes con capacidad para
Descripción e implementación de tppal: un algebra q de procesos temporizados y probabilísticos
Tesis doctoral de Juan Jose Pardo Mateo Tradicionalmente, los diseñadores de sistemas concurrentes, antes de iniciar su trabajo, seleccionaban uno
Una extension del lamda-calculo para la modelizacion de procesos concurrentes.
Tesis doctoral de Oliver Villarroya Francisco Javier El -calculo es una teoria sin tipos que interpreta las funciones como reglas,