Bisimulation 入門 形式手法特論：コンパイラの「正しさ」は証明できるか？ Bisimulation and Coinduction for Dummies Automata, Regex, Coinduction, Bisimulation 論文 双方向変換網における操作変換を用いたデータ更新競合解決手法 Fully Abstract Normal Form Bisimulation for Call-by-Value PCF 関連リンク Structure editor Structural Editingとは何か？