1
（方法）パイ計算でブロードキャストをモデル化できますか？
パイ計算で信頼できるブロードキャストをモデル化できますか？ もしそうなら：どのように？ そうでない場合：同様のプロセス代数が可能な場所はありますか？ 私が試したもの： 送信者の場合はメッセージ送信したいのyを全てにP 1にP nは、あなたが書くことができます ！（¯ X、Y ）。Sおよびx （z ）。P 1のX （Z ）。P nは。しかし、が回複製されること、つまりメッセージが失われないことをどのように保証しますか？事前にがわかりません。関連するすべてのプロセス間でいくつかのメッセージを送受信することでのみ可能ですか？SSSyyyP1P1P_1PnPnP_nx¯¯¯y).Sx¯y).S\overline{x}y).Sx(z).P1x(z).P1x(z).P_1x(z).Pnx(z).Pnx(z).P_nnはn個(x¯¯¯y)(x¯y)(\overline{x}y)nnnnnn ...またはレプリケーションの非決定的な動作を誤解しますか？