通信に基づく並列計算モデルのカテゴリー論的意味論
KAKEN 科学研究費助成事業データベース で見る研究課題番号 | KAKENHI-PROJECT-08740149 |
---|---|
研究種目 | 奨励研究(A) |
研究分野 | 理学 数学 数学一般(含確率論・統計数学) |
研究機関 | 九州大学 |
代表研究者 | 大塚 寛 |
研究期間 開始年月日 | 1996/4/1 |
研究期間 終了年度 | 1996 |
研究ステータス | 完了 (1996/4/1) |
配分額(合計) | 1,000,000 (直接経費 :1,000,000) |
配分額(履歴) |
1996年度:1,000,000 (直接経費 :1,000,000) |
キーワード | 並列計算 プロセス CCS π-計算 |