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 […]
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.
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.
Performance bounds for synchronized queueing networks
Tesis doctoral de Javier Campos Laclaustra Las redes de petri estocasticas constituyen un modelo unificado de las diferentes extensiones de