Rooted branching bisimulation as a congruence (0)

by W J Fokkink
Venue:Journal of Computer and System Sciences