This article needs additional citations for verification. Please help improve this article by adding citations to reliable sources. Unsourced material may be challenged and removed. Find sources: "Bisimulation" – news · newspapers · books · scholar · JSTOR (February 2017) (Learn how and when to remove this template message) In theoretical computer science a bisimulation is a binary relation betwee
![Bisimulation - Wikipedia](https://cdn-ak-scissors.b.st-hatena.com/image/square/6921a935b2db9abd9143d5c0e17f62b6f8212f0e/height=288;version=1;width=512/https%3A%2F%2Fupload.wikimedia.org%2Fwikipedia%2Fcommons%2Fthumb%2F1%2F15%2FCoalgebraic_bisimulation.svg%2F330px-Coalgebraic_bisimulation.svg.png)