(Comment) pouvez-vous modéliser des émissions dans le pi-calcul?
Pouvez-vous modéliser des émissions fiables dans le pi-calcul? Si c'est le cas, comment? Sinon: existe-t-il des algèbres de processus similaires où vous pouvez? Ce que j'ai essayé: Si l'expéditeur veut envoyer un message y à tous les P 1 à P n , vous pouvez écrire ! ( ¯ x y ) . S et x ( z ) . P 1 à...