Publication: CSP Probabilístico (PCSP) : un modelo probabilístico de procesos concurrentes
Loading...
Files
Official URL
Full text at PDC
Publication Date
2002
Authors
Advisors (or tutors)
Editors
Journal Title
Journal ISSN
Volume Title
Publisher
Universidad Complutense de Madrid, Servicio de Publicaciones
Citations
Exportar
Abstract
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
Description
Tesis de la Universidad Complutense de Madrid, Facultad de Ciencias Matemáticas, S.D. de Informática y automatica, leída el 12-11-1993