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. [Thesis]

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
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 de
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