ウィキペディア英語版

出典:Wikipedia

Calculus of Broadcasting Systems

出典:『Wikipedia』 (2009/03/18 20:35 UTC 版)

英語による解説

ウィキペディア英語版からの引用
引用

Calculus of Broadcasting Systems (CBS) is a CCS-like calculus where processes speak one at a time and each is heard instantaneously by all others. Speech is autonomous, contention between speakers being resolved nondeterministically, but hearing only happens when someone else speaks. Observationally meaningful laws differ from those of CCS. The handshake communication of CCS is changed to broadcast communication in CBS. This allows several additional features:

調べた例文を記録して、効率よく覚えましょう
Weblio会員無料で登録できます
履歴機能 過去に調べた単語を確認できる
語彙力診断 診断回数が4回に増加
マイ単語帳 便利な学習機能付き
マイ例文帳 文章で意味を理解できる

Calculus of Broadcasting Systemsのページの著作権