型システムの拡張：型付け規則

型付け規則の例（骨格）

• input guard

ob(?) ⇒ cap(a)　? + x:U, y:?├ P

―――――――――――――――

? + x:[?]/(Ia . U)├ x?[y] . P

• asynchronous output

ob(?) ⇒ cap(a)　¬ ob(?)

―――――――――――――――

? + x:[?]/Oa + y:?├ x![y]

前のｽﾗｲﾄﾞ

次のｽﾗｲﾄﾞ

最初のｽﾗｲﾄﾞに戻る

ｸﾞﾗﾌｨｯｸｽの表示