並行計算のための簡約意味論について

• Item type: SIG Technical Reports(1)
• 公開日: 1993-03-10
• タイトル: 並行計算のための簡約意味論について
• タイトル / 言語: en
• タイトル: Reduction Theories for Concurrent Calculi
• 言語: jpn
• 資源タイプ / 資源タイプ識別子: http://purl.org/coar/resource_type/c_18gh
• 資源タイプ: technical report
• 著者所属: 慶応義塾大学大学院計算機科学専攻
• 著者所属: 慶応義塾大学大学院計算機科学専攻
• 著者所属(英): en
• 著者所属(英): Department of Computer Science, Keio University
• 著者所属(英): en
• 著者所属(英): Department of Computer Science, Keio University
• 著者名: 本田耕平; 吉田展子
• 著者名(英): Nobuko, Yoshida; Kohei, Honda
• 論文抄録 / 内容記述タイプ: Other
• 論文抄録 / 内容記述: 本論文では簡約に基礎を置いた並行プロセス計算のための等式理論を紹介する。この等式理論は観察や停止性の概念を用いずに相互模倣性を性格付けできる点が従来の研究と異なっている。我々はまず弱い等式理論と、それをもとに導出される強い等式理論を非同期プロセス計算、ν?計算に適用する。さらに、CCS、π?計算、λ?計算へこの等式理論を適用した結果についても簡単に触れる。
• 論文抄録(英) / 内容記述タイプ: Other
• 論文抄録(英) / 内容記述: A formulation of semantic theories for processes which does not rely on the notion of observables or convergence, is studied. The new construction is solely based on reduction relation and equational reasoning, but can induce meaningful theories for processes, both in strong and weak settings. The resulting theories in many cases coincide with, and sometimes generalizes, observation-based formulation of behavioural equivalences. The construction is performed for a small system called ν-calculus. We also briefly summarize the results of its application to CCS, π-calculus and A-calculus.
• 書誌レコードID / 収録物識別子タイプ: NCID
• 書誌レコードID / 収録物識別子: AN10485570
• 書誌情報: 情報処理学会研究報告プログラミング（PRO）; 巻 1993, 号 19(1992-PRO-011), p. 125-132, 発行日 1993-03-10
• Notice: SIG Technical Reports are nonrefereed and hence may later appear in any journals, conferences, symposia, etc.
• 出版者 / 言語: ja
• 出版者: 情報処理学会