CWI(オランダ国立情報数学研究所)紹介(海外情報)

スポンサーリンク

概要

• 論文の詳細を見る
• 日本応用数理学会の論文
• 1995-06-15

著者

• 堀田 英一

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

関連論文

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

スポンサーリンク