ブロードキャスト用プロセス代数（CCB）のための観測的合同関係

• Item type: SIG Technical Reports(1)
• 公開日: 1995-03-09
• タイトル: ブロードキャスト用プロセス代数（CCB）のための観測的合同関係
• タイトル / 言語: en
• タイトル: Observational Congruence Relations in a Calculus of Communication with Broadcasting
• 言語: jpn
• 資源タイプ / 資源タイプ識別子: http://purl.org/coar/resource_type/c_18gh
• 資源タイプ: technical report
• 著者所属: 電子技術総合研究所情報アーキテクチャ部情報ベース研究室
• 著者所属: 電子技術総合研究所情報アーキテクチャ部情報ベース研究室
• 著者所属: 電子技術総合研究所情報アーキテクチャ部情報ベース研究室
• 著者所属(英): en
• 著者所属(英): Information Base Section, Computer Science Division, Electrotechnical Laboratory
• 著者所属(英): en
• 著者所属(英): Information Base Section, Computer Science Division, Electrotechnical Laboratory
• 著者所属(英): en
• 著者所属(英): Information Base Section, Computer Science Division, Electrotechnical Laboratory
• 著者名: 磯部, 祥尚; 佐藤, 豊; 大蒔, 和仁
• 著者名(英): Yoshinao, Isobe; Yutaka, Sato; Kazuhito, Ohmaki
• 論文抄録 / 内容記述タイプ: Other
• 論文抄録 / 内容記述: 我々はブロードキャストに適したプロセス代数としてCCBを提案している。ブロードキャストでは送信者は受信者を指定しないため、拡張性の高いシステムの構築が可能である。CCBの最も重要な特徴は、ブロードキャスト後に、送信者がその受信者数を知ることができることにある。この受信者数を知ることによって、送信者は全ての受信者からの情報を確実に受けとることが可能になる。CCBはCCSの拡張として与えられているが、CCSで定義されている観測合同がCCBでは合同関係にならないことが示されている。そこで、CCBのための観測的な合同関係を得ることが課題となっていた。本報告書では、CCBの観測的な合同関係として弱監視合同を定義し、有限エージェントの弱監視合同に対する健全で完全な公理系を与える。この弱監視合同は観測合同に含まれ、かつ最も大きな合同関係である
• 論文抄録(英) / 内容記述タイプ: Other
• 論文抄録(英) / 内容記述: In this paper we propose weak monitor congruence as an observational congruence relation for CCB (a Calculus of Communication with Broadcasting) which has been proposed by us, and give a sound and complete axiom system for the weak monitor congruence of finite agents. Weak monitor congruence is the largest congruence relation included in observation congruence which is defined in CCS. CCB is a process for broadcasting. Because a transmitter of broadcasting do not specify receivers, it is useful for constructing extensible systems. The advantage of CCB is that transmitter can know the number of receivers after broadcasting. Thereby the transmitter can certainly get information from all the receivers. Though CCB is a extension of CCS, we can show that observation congruence is not a congruence relation in CCB. Therefore observational congruence relations for CCB have been required.
• 書誌レコードID / 収録物識別子タイプ: NCID
• 書誌レコードID / 収録物識別子: AN10485570
• 書誌情報: 情報処理学会研究報告プログラミング（PRO）; 巻 1995, 号 26(1994-PRO-021), p. 65-72, 発行日 1995-03-09
• Notice: SIG Technical Reports are nonrefereed and hence may later appear in any journals, conferences, symposia, etc.
• 出版者 / 言語: ja
• 出版者: 情報処理学会