Universidad Complutense de Madrid
E-Prints Complutense

Semánticas para álgebras de procesos estocásticos no markovianos

Impacto

Downloads

Downloads per month over past year



López Barquilla, Natalia (2004) Semánticas para álgebras de procesos estocásticos no markovianos. [Thesis]

[img]
Preview
PDF
2MB


Abstract

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


Item Type:Thesis
Additional Information:

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

Directors:
DirectorsDirector email
Núñez García, Manuel
Uncontrolled Keywords:Procesos estocásticos
Subjects:Sciences > Mathematics > Stochastic processes
ID Code:4424
Deposited On:17 May 2005
Last Modified:24 Jan 2018 12:19

Origin of downloads

Repository Staff Only: item control page