堀田 英一 | Nttソフトウェア研究所
スポンサーリンク
概要
関連著者
-
堀田 英一
Nttソフトウェア研究所
-
真野 健
NTTコミュニケーション科学基礎研究所
-
堀田 英一
NTTソフトウエア研究所
-
堀田 英一
日本電信電話株式会社 Ntt情報流通プラットフォーム研究所
-
伊藤 正樹
Nttソフトウェア研究所
-
山中 顕次郎
NTTソフトウェア研究所
-
堀田 英一
Nttコミュニケーション科学研究所
-
楢崎 修二
Nttソフトウェア研究所
著作論文
- 失敗集合モデルによる非同期通信系の等価性定式化
- 並行合成のスレッド生成への忠実な翻訳法
- 高階双模倣性に対する完全抽象的な距離モデル(Extended Abstract)
- 通信サービス記述のための知識と動作に基づく様相論理SSL
- チャネルに基づく選択付き通信のための分散プロトコル
- Nepi^2: π計算に基づくネットワーク・プログラミングのための2レベル計算体系