Definitions for "Bisimulation"
an equivalence relation such that if with equations then if and only if and for
In theoretical computer science a bisimulation is an equivalence relation between state transition systems, associating systems which behave in the same way in the sense that one system simulates the other and vice-versa.