Jugando con el tiempo : semántica de pruebas para algebras de procesos temporizadas
Título de la tesis:
Jugando con el tiempo : semántica de pruebas para algebras de procesos temporizadas
Autor/es:
Llana Díaz, Luis Fernando
Tipo de documento:
Tesis (Doctoral)
Universidad:
Universidad Complutense de Madrid
Departamento:
Departamento
Idioma:
Castellano
Palabras clave:
Informática
Fecha de la defensa:
2005-05-17
Notas:
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...
Valoración:
Clasificación por
