Que yo sepa, hay tres álgebras de procesos principales que han inspirado una amplia gama de investigaciones sobre modelos formales de concurrencia. Estos son: CCS y cálculo ambos por Robin Milnerππ\pi CSP por Tony Hoare y ACP por Jan Bergstra y Jan Willem Klop Los tres parecen tener hasta el...
Dado un sistema de transición etiquetado , donde es un conjunto de estados, es un conjunto de etiquetas y es una relación ternaria. Como de costumbre, escriba para . La transición etiquetada denota que el sistema en estado cambia el estado a con la etiqueta , lo que significa que es una acción...
Un dispensador de bebidas requiere que el usuario inserte una moneda ( ), luego presione uno de los tres botones: solicita una taza de té , lo mismo para el café , y solicita un reembolso (es decir, la máquina devuelve la moneda: ). Este dispensador puede modelarse mediante el siguiente proceso CCS...