大塚 寛 | 愛媛大学理学部数理科学科

スポンサーリンク

概要

• 大塚 寛の詳細を見る
• 同名の論文著者
• 愛媛大学理学部数理科学科の論文著者

関連著者

• 大塚 寛

  愛媛大学理学部

• 大塚 寛

  愛媛大学理学部数理科学科

著作論文

• 協調型言語に基づく並列プロセスのモデル検証 (計算機科学基礎理論の新展開)
• 5L-5 一斉通信のデッドロック解析へのプロセス代数的アプローチ

スポンサーリンク