CWB(Concurrency Work Bench)をつかって、色々作業。 交換性をcongruenceとからめて定義しなおす 連動性の性質を、合成したLTSを射影すると、(たぶん)weak congruenceがなり立つことに書き直す 縦・横チェーンを本物(バッファ長1のoverflowも辞さず型の▽…
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。