Rooted branching bisimulation as a congruence
scientific article; zbMATH DE number 1441896
scientific article