bisimilar adjective1 •Of two state transition systems, such that a bisimulation exists between the two.
