▽演算と充足性の関係をしめすところを、ノートでは概要がわかっているものを出力作業 ▽演算の操作的な意味定義 LTSを変換してみる じつはプロパティをプロセス(LTS)に変換したものとの間の並行結合演算と同等であることを示す 充足性を判定するためにつくっ…
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。