Hierarchy:
Description:
{{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
Ngram:
Ngram Text:
bisimulation
Source:
Wiktionary
Issue:
0
Wiktionary tag:
Ngram Count:
1