Título de la tesis:
Semánticas de pruebas para álgebras de procesos probabilísticos
Autor/es:
Núñez García, Manuel
Tipo de documento:
Tesis (Doctoral)
Universidad:
Universidad Complutense de Madrid
Departamento:
Departamento
Idioma:
Castellano
Palabras clave:
Lingüística matemática
Fecha de la defensa:
2005-05-17
Notas:
En esta tesis presentamos un algebra de procesos que ha sido extendida con información probabilística. Definimos una semántica operacional para nuestro lenguaje, y a continuación definimos una semántica de pruebas parametrizadas por una cierta familia de pruebas. La caracterización vendrá dada por la probabilidad con la que los procesos pasan las pruebas del conjunto dado. Una vez definido el marco general, consideraremos dos conjuntos de pruebas los cuales estarán asociados a una interpretación de los modelos reactivos y generativo respectivamente. Para la interpretación del modelo reactivo d...
Valoración:
Clasificación por
