bisimulation

Definition from Wiktionary, the free dictionary
Jump to navigation Jump to search

English[edit]

Etymology[edit]

bi- +‎ simulation

Noun[edit]

bisimulation (plural bisimulations)

  1. (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[edit]