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 […]
Tesis doctoral de Javier Campos laclaustra
Información academica Javier Campos laclaustra. Tesis donde Javier Campos laclaustra ha sido autor, director o parte del tribunal.
Pnal. un modelo algebraico para procesos probabilisticos y no deterministas
Tesis doctoral de Diego Carlos Cazorla Lopez En esta tesis presentamos un modelo algebraico para procesos probabilisticos y no deterministas
Jugando con el tiempo.
Tesis doctoral de Llana Diaz Luis Fernando En el presente trabajo hemos estudiado la semantica de pruebas para algebras de
Decidibilidad de problemas sobre redes de petri temporizadas.
Tesis doctoral de Valentin Valero Ruiz La tesis investiga cuestiones de decidibilidad sobre distintas variantes de redes de petri temporizadas.