Biblioteca de la Universidad Complutense de Madrid

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

Impacto



Cuartero Gómez, Fernando (2002) CSP Probabilístico (PCSP) : un modelo probabilístico de procesos concurrentes. [Tesis Doctoral]

URL Oficial: http://eprints.ucm.es/tesis/19911996/X/2/X2002401.pdf



Resumen

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


Tipo de documento:Tesis Doctoral
Información Adicional:

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

Directores (o tutores):
NombreEmail del director (o tutor)
Frutos Escrig, David de
Palabras clave:Informática
Materias:Ciencias > Matemáticas > Cibernética matemática
Código ID:3433
Depositado:17 May 2005
Última Modificación:30 Oct 2011 10:37

Sólo personal del repositorio: página de control del artículo