既存の研究
以前の研究
通信のトポロジを静的に固定
⇒ 一般の並行プログラムには適用できない
部分的デッドロック・フリー型付きプロセス計算 [Kobayashi 97]
型システムを利用してデッドロックを防止
前のスライド
次のスライド
最初のスライドに戻る
グラフィックスの表示