堀田 英一 | Nttコミュニケーション科学研究所
スポンサーリンク
概要
関連著者
-
堀田 英一
Nttコミュニケーション科学研究所
-
真野 健
NTTコミュニケーション科学基礎研究所
-
堀田 英一
Nttソフトウェア研究所
-
堀田 英一
日本電信電話株式会社 Ntt情報流通プラットフォーム研究所
著作論文
- コンパクト集合からなるde Bakker-Zuckerプロセス領域の特徴付け
- 1.プロセス代数の意味論 (並行計算の理論の最近の動向)
- CWI(オランダ国立情報数学研究所)紹介(海外情報)
- Nepi^2: π計算に基づくネットワーク・プログラミングのための2レベル計算体系