Complutense University Library

CSP Probabilístico (PCSP) : un modelo probabilístico de procesos concurrentes

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

View download statistics for this eprint

==>>> Export to other formats

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:
DirectorsDirector email
Frutos Escrig, David deUNSPECIFIED
Uncontrolled Keywords:Informática
Subjects:Sciences > Mathematics > Cybernetics
ID Code:3433
Deposited On:17 May 2005
Last Modified:30 Oct 2011 10:37

Repository Staff Only: item control page