時間的特性を考慮した並列プロセスの形式的記述

• Item type: Journal(1)
• 公開日: 1993-04-15
• タイトル: 時間的特性を考慮した並列プロセスの形式的記述
• タイトル / 言語: en
• タイトル: A Formal Description for Parallel Processes with Time Properties
• 言語: jpn
• キーワード / 主題Scheme: Other
• キーワード / 主題: 特集：並列処理
• 資源タイプ / 資源タイプ識別子: http://purl.org/coar/resource_type/c_6501
• 資源タイプ: journal article
• その他タイトル / その他のタイトル: 基礎理論
• 著者所属: 慶應義塾大学理工学研究科計算機科学専攻
• 著者所属: 慶應義塾大学理工学研究科計算機科学専攻
• 著者所属(英): en
• 著者所属(英): Department of Computer Science, Faculty of Science and Technology, Keio University
• 著者所属(英): en
• 著者所属(英): Department of Computer Science, Faculty of Science and Technology, Keio University
• 著者名: 佐藤一郎; 所, 真理雄
• 著者名(英): Ichiro, Satoh; Mario, Tokoro
• 論文抄録 / 内容記述タイプ: Other
• 論文抄録 / 内容記述: 並列計算では計算の動作内容だけでなく同期待ち時間や実行時間などの時間的特性が、計算の効率や正当性を与える上で重要な要素となる。しかし、従来の並列計算モデルではこうした時間的特性を明示的に表現することができなかった。そこで本論文では既存のプロセス計算の体系に時間経過と時間に依存した動作の表現能力を拡張することによって、時間的特性が表現可能な並列計算のための形式系を構築する。この形式系はプロセス計算の有用な特性を保持しながら、同時に並列プロセス間の通信や同期操作などの相互作用における動作内容とその時間性の両方を明示的に表現できる形式系である。本論文ではさらに、この形式系に基づく証明技法として時間性を考慮した二つのプロセスの等価性、時間的強等価と時間的観測等価を与える。これらは二つのプロセスが動作内容的にも時間的にも等価であることを調ぺるもので、特に時間的観測等価は内部的な動作を隠蔽して外部的相互作用だけに基づいて等価性を判定することができる。本論文ではこれらの等価性の代数的特性を調ぺ、さらに時間的強等価に基づく有限プロセスのための健全かつ完全な公理系を与える。最後に、線形接続されたマルチプロセッサ間の通信をこの形式系により記述し、その動作および時間性を解析する例を与える。
• 書誌レコードID / 収録物識別子タイプ: NCID
• 書誌レコードID / 収録物識別子: AN00116647
• 書誌情報: 情報処理学会論文誌; 巻 34, 号 4, p. 540-548, 発行日 1993-04-15
• ISSN / 収録物識別子タイプ: ISSN
• ISSN / 収録物識別子: 1882-7764