Bisimulation is two-way simulation
scientific article; zbMATH DE number 710244