|
Título:
|
CSP Probabilístico (PCSP) : un modelo probabilístico de procesos concurrentes
|
|
Autores:
|
Cuartero Gómez, Fernando
|
|
Tipo de documento:
|
texto impreso
|
|
Editorial:
|
Universidad Complutense de Madrid, Servicio de Publicaciones, 1993
|
|
Dimensiones:
|
application/pdf
|
|
Nota general:
|
info:eu-repo/semantics/openAccess
|
|
Idiomas:
|
|
|
Palabras clave:
|
Estado = Publicado
,
Materia = Ciencias: Matemáticas: Cibernética matemática
,
Tipo = Tesis
|
|
Resumen:
|
El trabajo consiste en un enriquecimiento con probabilidades del modelo algebraíco CSP (Comumnications Sequential Processes), [Hoare 85]. Se asocian probabilidades a los operadores de elección extena e interna. Se espera con ello mejorar la capacidad de razonar sobre las propiedades de un sistema concurrente. Se precisa el modelo resultante de esta idea y se dota al lenguaje de cuatro semánticas con enfoques respectivamente operacional, de pruebas, denotaciones y algebraico. Se demuestra que las cuatro semánticas son equivalentes
|
|
En línea:
|
https://eprints.ucm.es/id/eprint/3433/1/T18821.pdf
|
