Branching bisimilarity is an equivalence indeed!
scientific article; zbMATH DE number 984087