Cuartero Gómez, Fernando (2002) CSP Probabilístico (PCSP) : un modelo probabilístico de procesos concurrentes. Tesis PhD.
Official URL: http://eprints.ucm.es/tesis/19911996/X/2/X2002401.pdf
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
| Item Type: | Thesis (PhD) | ||||
|---|---|---|---|---|---|
| Additional Information: | 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 | ||||
| Directors: |
| ||||
| Uncontrolled Keywords: | Informática | ||||
| Subjects: | Sciences > Mathematics > Cybernetics | ||||
| ID Code: | 3433 | ||||
| Deposited On: | 17 May 2005 | ||||
| Last Modified: | 30 Oct 2011 11:37 |
Repository Staff Only: item control page
