Información del autor
Documentos disponibles escritos por este autor (2)
Añadir el resultado a su cesta Hacer una sugerencia Refinar búsqueda
texto impreso
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 capa[...]texto impreso
n this paper we present a process algebra model of probabilistic communicating processes based on classical CSP. To define our model we have replaced internal non-determinism by generative probabilistic choices, and external non-determinism by r[...]
