1
（如何）可以在pi演算中建模广播？
您可以在pi演算中对可靠的广播建模吗？ 如果是这样：如何？ 如果不是：是否有任何类似的过程代数可供使用？ 我尝试过的 如果发件人想要消息发送Ÿ所有P 1到P ñ，你可以写 ！（¯ X Ÿ ）。S和x （z ）。P 1至x （z ）。P ñ。但是你如何保证（¯ X Ÿ ）复制ñ倍，即没有消息迷路？我不知道ñSSSyyyP1P1P_1PnPnP_nx¯¯¯y).Sx¯y).S\overline{x}y).Sx(z).P1x(z).P1x(z).P_1x(z).Pnx(z).Pnx(z).P_n(x¯¯¯y)(x¯y)(\overline{x}y)nnnnnn提前。（仅）在涉及的所有进程之间来回发送多个消息是否可能？ ...还是误解了复制的不确定行为？