Título de la tesis:
Semánticas para álgebras de procesos estocásticos no markovianos
Autor/es:
López Barquilla, Natalia
Tipo de documento:
Tesis (Doctoral)
Universidad:
Universidad Complutense de Madrid
Departamento:
Departamento de Sistemas Informáticos y Programación
Idioma:
Castellano
Palabras clave:
Procesos estocásticos
Fecha de la defensa:
2005-05-17
Notas:
En esta Tesis se ha realizado un estudio de Semánticas para Álgebras de Procesos estocásticos no Markovianos. En primer lugar se ha estudiado una extensión de la Bisimulación débil llamada "Global", con la que se pretende solucionar diversos problemas que tiene la definición original. A continuación se ha definido una Semántica Operacional para las álgebras estocásticas donde las variables aleatorias puden ser de cualquier tipo. Basándose en esa Semántica Operacional se han estudiado Semánticas de Bisimulación y de Testing. Por último se ha estudiado la forma de incrementar el poder ...
Valoración:
Clasificación por
