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.

中文翻译：

---

Bisimulation 和 Coinduction 增强：历史视角

互模拟是共归纳的一个例子。当今，双模拟和共归纳在计算机科学的许多领域以及计算机科学之外都得到了广泛的应用。大约在过去的 25 年里，与双模拟和共归纳相关的原理和方法的改进（即，使证明更短和更简单的技术）本身已经成为一个研究课题。本文回顾了该课题的起源和发展。