RT Dissertation/Thesis
T1 Semánticas para álgebras de procesos estocásticos no markovianos
A1 López Barquilla, Natalia
AB 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
PB Universidad Complutense de Madrid, Servicio de Publicaciones
SN 978-84-669-1801-5
YR 2004
FD 2004
LK https://hdl.handle.net/20.500.14352/55059
UL https://hdl.handle.net/20.500.14352/55059
LA spa
NO Tesis de la Universidad Complutense de Madrid, Facultad de Ciencias Matemáticas, Departamento de Sistemas Informáticos y Programación, leída el 17-03-2003
DS Docta Complutense
RD 8 abr 2025