Csp probabilísticoun modelo probabilístico de procesos concurrentes
- Cuartero Gómez, Fernando
- David de Frutos Escrig Doktorvater
Universität der Verteidigung: Universidad Complutense de Madrid
Fecha de defensa: 12 von November von 1993
- Mario Rodríguez Artalejo Präsident
- Ricardo Peña Marí Sekretär
- UGO MONTANARI Vocal
- Fernando Orejas Valdés Vocal
- Albert Llamosí Vocal
Art: Dissertation
Zusammenfassung
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