昨日の夜と早朝でなんとか修正。いろいろ直した。 LTSとプロセスと状態遷移機械がごちゃごちゃだったのでなおした 順序制約[tes:\psi]の間違えの修正 順番をかえた コマンドの説明を追加して、構造をもつMSCからの合成のイメージを出した 複雑性への言及 い…

先日の同期の件は、実装とCCSの間のギャップという話であるが、大して問題になりそうになさそう。 ということで、落着しよう。それよりも、肝心の順序制約の意味が揺らいで、投稿論文にだしたもの(2月)はなんか違っている。むしろ予備審査に出した物(12月)が…

そういえば、並行実行するLTS間の動作を定義するにあたって、並行実行(|)を 考慮しなくてもよいの？LTS間でアクションの順序関係を定義するならば、同時に実行する場合ってどうするの？CCSはとの間のみに同期通信が発生してと遷移するんだったわね。だからそ…