1
(¿Cómo) puedes modelar transmisiones en el cálculo pi?
¿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 …