Biblioteca de la Universidad Complutense de Madrid

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

Impacto



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

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



Resumen

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


Tipo de documento:Tesis Doctoral
Información Adicional:

Tesis de la Universidad Complutense de Madrid, Facultad de Ciencias Matemáticas, leída el 25-06-1996

Directores (o tutores):
NombreEmail del director (o tutor)
Frutos Escrig, David de
Palabras clave:Informática
Materias:Ciencias > Matemáticas > Cibernética matemática
Código ID:3510
Depositado:17 May 2005
Última Modificación:30 Oct 2011 10:37

Sólo personal del repositorio: página de control del artículo