使用法計算：従来の使用法の表現

• linear channel

  Oco | Ico　→　φ
  

• replicated input channel

  !Io | !Oc　→　!Io | !Oc
  

• mutex channel

  Oo | !(Ic.Oo)　→　Oo | !(Ic.Oo)
  

（ここでの !U は U | U | U | … をあらわす）

前のｽﾗｲﾄﾞ

次のｽﾗｲﾄﾞ

最初のｽﾗｲﾄﾞに戻る

ｸﾞﾗﾌｨｯｸｽの表示