About us
Define
Definitions for
"Bisimulation"
Keywords:
equivalence
,
versa
,
theoretical
,
vice
,
simulates
an equivalence relation such that if with equations then if and only if and for
cs.chalmers.se
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.
en.wikipedia.org