Bisimulation and Coinduction Enhancements: A Historical Perspective
Bisimulation and Coinduction Enhancements: A Historical Perspective
复制标题
互模拟和共感应增强：历史视角
DOI：
10.1007/s00165-019-00497-w
复制
发表时间：
2019
影响因子：
1
通讯作者：
D. Sangiorgi
中科院分区：
文献类型：
--
作者：
D. Pous;D. Sangiorgi
双模拟是共归纳的一个实例。如今，双模拟和共归纳都被广泛应用于计算机科学的许多领域，以及计算机科学以外的领域。大约在过去的25年里，增强与双模拟和共归纳法相关的原理和方法（即使证明更短、更简单的技术）已经成为一个独立的研究课题。本文回顾了该课题的起源和发展。
Bisimulation is an instance of coinduction. Both bisimulation and coinduction are today widely used, in many areas of Computer Science, as well as outside Computer Science. Over, roughly, the last 25 years, enhancements of the principles and methods related to bisimulation and coinduction (i.e., techniques to make proofs shorter and simpler) have become a research topic on its own. In the paper the origins and the developments of the topic are reviewed.
登录
查看更多内容
通过纤维进行行为测量的最新技术
DOI：
10.4230/lipics.concur.2018.17
发表时间：
2018
期刊：
ArXiv
影响因子：
--
作者：
Filippo Bonchi;Barbara König;Daniela Petrişan
通讯作者：
Daniela Petrişan
有福利的朋友 - 在基础证明助手中实现 Corecursion
DOI：
10.1007/978-3-662-54434-1_5
发表时间：
2017
期刊：
影响因子：
--
作者：
Jasmin Christian Blanchette;Aymeric Bouzy;Andreas Lochbihler;Andrei Popescu;Dmitriy Traytel
通讯作者：
Dmitriy Traytel
高阶逻辑的基础（协同）数据类型和（协同）递归
DOI：
10.1007/978-3-319-66167-4_1
发表时间：
2017
期刊：
影响因子：
--
作者：
Julian Biendarra;Jasmin Christian Blanchette;Aymeric Bouzy;Martin Desharnais;Mathias Fleury;Johannes Hölzl;Ondrej Kuncar;Andreas Lochbihler;Fabian Meier;Lorenz Panny;Andrei Popescu;Christian Sternagel;René Thiemann;Dmitriy Traytel
通讯作者：
Dmitriy Traytel
基础可扩展核心递归：证明助理的观点
DOI：
10.1145/2784731.2784732
发表时间：
2015
期刊：
Proceedings of the 20th ACM SIGPLAN International Conference on Functional Programming
影响因子：
--
作者：
Jasmin Christian Blanchette;Andrei Popescu;Dmitriy Traytel
通讯作者：
Dmitriy Traytel