bisimulation

== English == === Etymology === From bi- + simulation. === Noun === bisimulation (plural bisimulations) (logic) 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 ==== Related terms ==== bisimilar simulation preorder ==== Translations ====