同じプロセス代数だと油断していたのですが、2つのプロセス代数の流派を使い分ける 理由と正しさが訴求できません。通信同期を伴わない同時実行を、ACPは含む、CCSは含まないということなのですが。これもあまり本質的ではない気がします。問題なのは…
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。