EGAVE

bisimulation

About 0.08 uses per million words.

Meaning

  1. noun 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

Similar words

simulatability cosimulation simulism match bisimilarity equivalence isomorphism simulative similarness confluence

Often followed by

equivalence is relation and between for equivalent semantics on

Save “bisimulation” to learn later