Many-sorted Propositional Dynamic Logic for Parallel Processing Environment

スポンサーリンク

概要

• 論文の詳細を見る

• This paper presents a many-sorted propositional dynamic logic system (MPDL) describing dVnamic properties of programs in parallel processing environment, and applies MPDL to describe a practical example with respect to a distributed system. Differing from normal PDL, a new operator G^<ij> is used in the paper to describe relation between parallel programs. Finally, the paper simply discusses consistency and completeness of MPDL.

• 一般社団法人情報処理学会の論文
• 1997-09-11

著者

• 玉井 哲雄

  東京大学大学院総合文化研究科広域システム専攻

• Guoqing Wu

  Graduate School of Arts and Sciences, University of Tokyo

• Tamai Tetsuo

  Graduate School of Arts and Sciences, University of Tokyo

• Guoqing Wu

  Graduate School Of Arts And Sciences University Of Tokyo

• 母 国慶

  Graduate School of Arts and Sciences, University of Tokyo

• 玉井 哲雄

  Graduate School of Arts and Sciences, University of Tokyo

関連論文

• システム理解のための分散システムアーキテクチャの抽出
• 再構築のためのソフトウェア解析アプローチ
• 江戸町人地に関する研究
• 精密ソフトウェア工学のすすめ
• Many-sorted Propositional Dynamic Logic for Parallel Processing Environment
• On Japanese-based Programming

スポンサーリンク