Complutense University Library

Jugando con el tiempo : semántica de pruebas para algebras de procesos temporizadas

Llana Díaz, Luis Fernando (2002) Jugando con el tiempo : semántica de pruebas para algebras de procesos temporizadas. Tesis PhD.

Official URL: http://eprints.ucm.es/tesis/19911996/X/2/X2004801.pdf

View download statistics for this eprint

==>>> Export to other formats

Abstract

en el presente trabajo hemos estudiado la semántica de pruebas para alebras de procesos temporizadas. En primer lugar hemos estudiado un álgebra de procesos temporizada básica, se trata de un lenguaje recursivo, secuencial no determinista. Puesto que las semánticas de pruebas son poco manejables, se hace necesario dar una caracterización alternativa de la misma; nosotros hemos dado una caracterizacion que depende unicamente de la semántica operacional de álgebra. A continuación hemos dotado al álgebra de una semántica denotacional, que ha resultado ser completamente abstracta con respecto a la semántica de pruebas. Seguidamente hemos estudiado una semántica axiomática, puesto que conseguimos probar que esta ultima es correcta y completa con respecto a la semántica detonaciones tenemos inmediatamente que tambien será correcta y completa con respecto a la semántica de pruebas. Puesto que todo lo anterior lo habíamos hecho con un álgebra bastante simple, es necesario introducir operadores mas complejos. En concreto hemos estudiado una serie de operadores que aparecen en la mayoria de las alebras de procesos temporizadas: . El operador de paralelo. El operador de ocultamiento, y. El operador de prefijo mediante acción visible con intervalo de tiempo. Por ultimo hemos estudiado un operador de elección tipo ccs, que tiene los problemas típicos con respecto a la congruencia

Item Type:Thesis (PhD)
Additional Information:Tesis de la Universidad Complutense de Madrid, Facultad de Ciencias Matemáticas, leída el 25-06-1996
Directors:
DirectorsDirector email
Frutos Escrig, David deUNSPECIFIED
Uncontrolled Keywords:Informática
Subjects:Sciences > Mathematics > Cybernetics
ID Code:3510
Deposited On:17 May 2005
Last Modified:30 Oct 2011 10:37

Repository Staff Only: item control page