通信の動的な名前づけによるCCSの拡張

• Item type: SIG Technical Reports(1)
• 公開日: 1988-05-26
• タイトル: 通信の動的な名前づけによるCCSの拡張
• タイトル / 言語: en
• タイトル: Extending CCS with Dynamaic Communication Naming
• 言語: jpn
• 資源タイプ / 資源タイプ識別子: http://purl.org/coar/resource_type/c_18gh
• 資源タイプ: technical report
• 著者所属: 名古屋大学工学部
• 著者所属: 名古屋大学工学部
• 著者所属: 名古屋大学工学部
• 著者所属(英): en
• 著者所属(英): Faculty of Engineering, Nagoya University
• 著者所属(英): en
• 著者所属(英): Faculty of Engineering, Nagoya University
• 著者所属(英): en
• 著者所属(英): Faculty of Engineering, Nagoya University
• 著者名: 結緑祥治; 坂部, 俊樹; 稲垣, 康善
• 著者名(英): ShojiYuen; Toshiki, Sakabe; Yasuyoshi, Inagaki
• 論文抄録 / 内容記述タイプ: Other
• 論文抄録 / 内容記述: 本稿では，Milnerの提案したCCSにおいて，通信の名前づけを実行時に動的に決定できるように拡張を行う．このような動的な名前づけは，CCSによる実際的な並行処理システムのモデル化においては自然な拡領である．そのようなモデルでは，動作体間で通信が起こったときに受け渡される値によって，それ以降に起こる通信の名前が決定する．本稿における拡張では，動的に変化する通信の名前を変数を含むような項によって表現する．拡張された動作式の意味は，名前を表現する項から実際の名前の領域への写像を，項のトップレベルの関数記号に割り当てることによって定義される．拡張された動作式の意味論はM11nerf)CCSに基づいて与えられる．最後に，このような名前の割り当ておよび拡張動作式における制限演算について議論する．
• 論文抄録(英) / 内容記述タイプ: Other
• 論文抄録(英) / 内容記述: In this paper, we extend Milner's CCS with dynamic communication naming, which is a natural extension in view of modelling practical concurrent systems by CCS. The communication names are to be specified by passing values between agents. We propose to represent to communication names as terms allowed to have variables. The semantics of this extended CCS is given based on the original CCS by assigning to the top-level function symbols the mappings from ground terms to the name-domain values. Finally, we discuss this name assignment and the restriction operation for dynamic communication naming.
• 書誌レコードID / 収録物識別子タイプ: NCID
• 書誌レコードID / 収録物識別子: AN10485570
• 書誌情報: 情報処理学会研究報告プログラミング（PRO）; 巻 1988, 号 37(1988-PRO-025), p. 79-88, 発行日 1988-05-26
• Notice: SIG Technical Reports are nonrefereed and hence may later appear in any journals, conferences, symposia, etc.
• 出版者 / 言語: ja
• 出版者: 情報処理学会