(Comment) pouvez-vous modéliser des émissions dans le pi-calcul?

16

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 nSyP1Pn
x¯y).Sx(z).P1x(z).Pn(x¯y)nnen 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?

DaveBall aka user750378
la source

Réponses:

19

πnnnnππ

e

  • e(P|Q)=e(P)|e(Q)
  • e(Pσ)=e(P)σσ
  • 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.

ππ

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.

π

[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 .

π

Martin Berger
la source