トップ研究者を探す通信に基づく並列計算モデルのカテゴリー論的意味論

通信に基づく並列計算モデルのカテゴリー論的意味論

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
π-計算