¿Puedes modelar transmisiones confiables en el cálculo pi? ¿Si es así, cómo? Si no es así: ¿hay álgebras de proceso similares donde puedas? Lo que he intentado: Si el remitente quiere enviar un mensaje y a todos los P 1 a P n , ¡podría escribir ! ( ¯ x y ) . S y x ( z ) . P 1 a x ( z ) . P...
Robin Milner definió bigraphs como un tipo de estructura gráfica con una estructura similar a un gráfico, pero donde los nodos se pueden anidar. Generalizan cálculos de procesos como CCS y el cálculo , pero Milner parece haber tenido la intención de que se usen de manera mucho más general: las...
Mi experiencia es en teoría / lógica de complejidad (donde solo hay un proceso la mayor parte del tiempo), y en computación distribuida (donde hay procesos y uno o más pueden fallar con el tiempo). Sin embargo, ahora quiero poder decir algo sobre un proceso que genera / crea / deriva de otro...
Desde hace un tiempo, he estado muy interesado en la teoría del lenguaje de programación y los cálculos de procesos y he comenzado a estudiarlos. Para ser honesto, es algo en lo que no me importaría entrar para una carrera. La teoría me parece increíblemente fascinante. Una pregunta constante con...
¿Alguien sabe de algún formalismo algebraico (o relacionado) de proceso que capture información de ubicación detallada? Estoy familiarizado con los ambientes y bigrafos, que obviamente tienen un modelo de ubicación, pero ¿qué pasa con los intentos de modelar información de ubicación más concreta,...