2009-04-12から1日間の記事一覧
どうももやもやしているところは以下 順序制約演算(演算)をかける話とチャネル挿入の話の整理 順序制約を充たすような、(最大の)全体の遷移系を求めるためにを適用するというところまではOK.でも実際は遷移系としては、並行に動作する、LTSとして実現され…
どうももやもやしているところは以下 順序制約演算(演算)をかける話とチャネル挿入の話の整理 順序制約を充たすような、(最大の)全体の遷移系を求めるためにを適用するというところまではOK.でも実際は遷移系としては、並行に動作する、LTSとして実現され…