とりあえず、DACに出した内容と研究メモを合体スリム化して、超ドラフト作成。 DAシンポにくらべると、離散プロセス代数に拡張したところが新規か。いろいろ考えると、自分では半自明であると思いこんでいる様々なルールが例題でも 使っている気がします。と…
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。