Manuel Núñez García , Pedro Palao-Gostanza, Marco T. Morazan
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.
© 2008-2024 Fundación Dialnet · Todos los derechos reservados