RT Dissertation/Thesis
T1 CSP Probabilístico (PCSP) : un modelo probabilístico de procesos concurrentes
A1 Cuartero Gómez, Fernando
AB 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
PB Universidad Complutense de Madrid, Servicio de Publicaciones
SN 978-84-669-0695-1
YR 2002
FD 2002
LK https://hdl.handle.net/20.500.14352/63317
UL https://hdl.handle.net/20.500.14352/63317
LA spa
NO 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
DS Docta Complutense
RD 8 abr 2025