Ir al contenido

Documat


Csp probabilístico: un modelo probabilístico de procesos concurrentes

  • Autores: Fernando Cuartero Gómez Árbol académico
  • Directores de la Tesis: David de Frutos Escrig (dir. tes.) Árbol académico
  • Lectura: En la Universidad Complutense de Madrid ( España ) en 1993
  • Idioma: español
  • Tribunal Calificador de la Tesis: Mario Rodríguez Artalejo (presid.) Árbol académico, Ricardo Peña Marí (secret.) Árbol académico, UGO MONTANARI (voc.) Árbol académico, Fernando Orejas Valdés (voc.) Árbol académico, Albert Llamosí (voc.) Árbol académico
  • Enlaces
  • 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


Fundación Dialnet

Mi Documat

Opciones de tesis

Opciones de compartir

Opciones de entorno