Asociatividad en álgebras de procesos probabilísticas
- Núñez García, Manuel
- Palao-Gostanza, Pedro
- Morazan, Marco T.
- Troya Linero, José María (dir. congr.)
- Rodríguez León, Casiano (dir. congr.)
Argitaletxea: Asociación Española de Informática y Automática
Argitalpen urtea: 1995
Orrialdeak: 135-154
Biltzarra: Jornadas de Informática (1. 1995. Puerto de la Cruz)
Mota: Biltzar ekarpena
Laburpena
En este artículo mostramos que en una definición razonable, el operador paralelo en álgebras de procesos probabilísticos no es asociativo. Esta falta de asociatividad lleva a que los sistemas que se modelicen resulten poco intuitivos. A continuación identificamos condiciones que un conjunto de procesos debe cumplir para que el operador paralelo binario sea asociativo . Estos resultados se generalizan para un operador paralelo n-ario. Terminamos dando dos propiedades de asociatividad alternativas.