デッドロック・フリー計算 (2/3)

デッドロックの原因 (2) :単独のチャネルの使用法

?

linear channel：一回の送受信に使用
replicated input channel：プロセスの定義に使用
mutex channel：二値セマフォとして使用

上の c はどれにも当てはまらない ⇒ 型エラー

前のｽﾗｲﾄﾞ次のｽﾗｲﾄﾞ最初のｽﾗｲﾄﾞに戻るｸﾞﾗﾌｨｯｸｽの表示