Tesis doctoral de Natalia López Barquilla
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 expresivo del lenguaje presentado mediante una traducción a un lenguaje de programación funcional-paralelo: edén.
Datos académicos de la tesis doctoral «Semanticas para álgebras de procesos estocásticos no markovianos«
- Título de la tesis: Semanticas para álgebras de procesos estocásticos no markovianos
- Autor: Natalia López Barquilla
- Universidad: Complutense de Madrid
- Fecha de lectura de la tesis: 17/03/2003
Dirección y tribunal
- Director de la tesis
- Manuel Núñez García
- Tribunal
- Presidente del tribunal: De frutos escrig david
- Fernando Cuartero gómez (vocal)
- Javier Campos laclaustra (vocal)
- mario Bravetti (vocal)