Definitions
from Wiktionary, Creative Commons Attribution/Share-Alike License.
- noun 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
Etymologies
Sorry, no etymologies found.
Support
Help support Wordnik (and make this page ad-free) by adopting the word bisimulation.
Examples
-
a, R and B, b, S are equal: this is the case iff there is a bisimulation T between
Type Theory Coquand, Thierry 2006
Comments
Log in or sign up to get involved in the conversation. It's quick and easy.