コンパクト集合からなるde Bakker-Zuckerプロセス領域の特徴付け

スポンサーリンク

概要

• 論文の詳細を見る

• 完備距離空間の圏における2つの領域方程式 X≌ρ_<cl>(A×id_<1/2>(X)) および X≌ρ_<co>(A×id_<1/2>(X)) のユニークな解として与えられる2つのプロセス領域P及びP^^^は, 各々プロセス代数の意味論で便利に使われる(ここで≌は左辺から右辺の上への等長写像の存在を表し, ρ_<cl>(X)とρ_<co>(X)は各々Xの閉部分集合からなる空間とXのコンパクト部分集合からなる空間を表すものとする). ある種の目的に対しては, P^^^の方がPより便利である. しかし, P^^^の定義と計算上の意味はPのそれらより複雑であり, またP^^^とPを異なる方程式の解として定義するのみでは, この2つの関係は明らかではない. ここでは, P^^^のPの部分領域としての特徴付けを与え, それによりP^^^とPの関係, 及びP^^^の計算上の意味を明らかにする.

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

著者

• 堀田 英一

  Nttコミュニケーション科学研究所

関連論文

• コンパクト集合からなるde Bakker-Zuckerプロセス領域の特徴付け
• 1.プロセス代数の意味論 (並行計算の理論の最近の動向)
• CWI(オランダ国立情報数学研究所)紹介(海外情報)
• Nepi^2: π計算に基づくネットワーク・プログラミングのための2レベル計算体系

スポンサーリンク