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

  1. López Barquilla, Natalia
Supervised by:
  1. Manuel Núñez García Director

Defence university: Universidad Complutense de Madrid

Fecha de defensa: 17 March 2003

Committee:
  1. David de Frutos Escrig Chair
  2. L. F. Llana Secretary
  3. Francisco Javier Campos Laclaustra Committee member
  4. Fernando Cuartero Gómez Committee member
  5. Mario Bravetti Committee member
Department:
  1. Sistemas Informáticos y Computación

Type: Thesis

Teseo: 94515 DIALNET lock_openDocta Complutense editor

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