Asociatividad en álgebras de procesos probabilísticas

  1. Núñez García, Manuel
  2. Palao-Gostanza, Pedro
  3. Morazan, Marco T.
Llibre:
I Jornadas de informática. Actas: Puerto de la Cruz, 17-21 de julio de 1995
  1. Troya Linero, José María (dir. congr.)
  2. Rodríguez León, Casiano (dir. congr.)

Editorial: Asociación Española de Informática y Automática

Any de publicació: 1995

Pàgines: 135-154

Congrés: Jornadas de Informática (1. 1995. Puerto de la Cruz)

Tipus: Aportació congrés

Resum

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.