1.プロセス代数の意味論 (<特集>並行計算の理論の最近の動向)

スポンサーリンク

概要

• 論文の詳細を見る
• 一般社団法人情報処理学会の論文
• 1996-04-15

著者

• 堀田 英一

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

関連論文

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

スポンサーリンク