放送システムの微積分

ブロードキャスト システムの計算( CBS ) はCCSに似た計算で、プロセスは1 つずつ話し、各プロセスは他のすべてのプロセスに瞬時に聞こえます。 発話は自律的で、話者間の競合は非決定論的に解決されますが、聞こえるのは他の誰かが話したときだけです。 観測的に意味のある法則は CCS の法則とは異なります。 CCS のハンドシェイク通信は、CBS ではブロードキャスト通信に変更されます。 これにより、いくつかの追加機能が可能になります。

1. 自律的なアクションにのみ適用される優先度は、そのようなアクションが通信の結果である CCS とは対照的に、CBS には単純に追加されます。
2. CBS シミュレーターは、ブロードキャストする値のリストを返すことでプロセスを実行します。これにより、CBS とホスト言語の強力な組み合わせが可能になります。これにより、いくつかの優れたアルゴリズムが生成されます。実際には、各入力に対して一意の応答を持つプロセスのみが必要なので、弱いバイシミュレーションは一致します。
3. CBS サブシステムはトランスレータによってインターフェースされます。メッセージを無音にマッピングすることで、聴覚を制限し、音声を隠すことができます。トランスレータを逆にすると、その範囲が裏返しになります。これにより、通信リンクの新しい仕様が可能になります。つまり、各ユーザーの環境は、他のユーザーと同じように動作する必要があります。

• 交互ビットプロトコル
• バイシミュレーション
• 通信システムの微積分(CCS)
• 通信シーケンシャルプロセス(CSP)
• 円周率計算

• KVS Prasad:放送システムの計算、コンピュータプログラミングの科学、25、1995 年。
• KVS Prasad:ブロードキャストによるプログラミング、Lecture Notes in Computer Science、Vol. 715、CONCUR、1993、Springer-Verlag。
• KVS Prasad: Broadcasting in time、Lecture Notes in Computer Science、Vol. 1061、COORDINATION、1996 年、Springer-Verlag。

• CiteSeerからの引用
• C++ での TCBS 実装 - コース「並列処理」の実験室^{[永久リンク切れ‍ ]}