Definition, synonyms and related words
Of two state transition systems, such that a bisimulation exists between the two.