そういえば、並行実行するLTS間の動作を定義するにあたって、並行実行(|)を 考慮しなくてもよいの?LTS間でアクションの順序関係を定義するならば、同時に実行する場合ってどうするの?CCSはとの間のみに同期通信が発生してと遷移するんだったわね。だからそ…
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。