TY  - THES
AU  - Cuartero Gómez, Fernando
A3  - Frutos Escrig, David de
PY  - 2002
DO  - b21678388
SN  - 978-84-669-0695-1
UR  - https://hdl.handle.net/20.500.14352/63317
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...
LA  - spa
PB  - Universidad Complutense de Madrid, Servicio de Publicaciones
KW  - Informática
TI  - CSP Probabilístico (PCSP) : un modelo probabilístico de procesos concurrentes
M3  - doctoral thesis
ER  -