(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 à x ( z ) . P n . Mais comment garantissez-vous que ( ¯ x y ) est répliqué n fois, c'est-à-dire qu'aucun message ne se perd? Je ne sais pas $S$$y$$P_1$$P_n$
$\overline{x}y).S$$x(z).P_1$$x(z).P_n$$(\overline{x}y)$$n$$n$en avance. Est-il (seulement) possible d'envoyer plusieurs messages dans les deux sens entre tous les processus impliqués?

... ou est-ce que je comprends mal le comportement non déterministe de la réplication?

$\pi$$n$$n$$n$$n$$\pi$$\pi$

$e$

• $e(P|Q) = e(P) | e(Q)$
• $e(P\sigma) = e(P)\sigma$$\sigma$
• Le codage remplit certaines conditions techniques sur la préservation des actions d'entrée et de sortie, voir [1] pour plus de détails.

$\pi$$\pi$

Il y a eu des travaux sur ce sujet depuis la publication de [1-4], par exemple par M. Hennessy, mais ce sont les articles pionniers.

$\pi$

[1] C. Ene, T. Muntean, Expressivity of Point-to-Point versus Broadcast Communications .

[2] C. Ene, T. Muntean, A Broadcast-based Calculus for Communicating Systems .

[3] C. Ene, T. Muntean, Test des théories pour les processus de radiodiffusion .

[4] KVS Prasad, Un calcul des systèmes de radiodiffusion .

$\pi$