Rooted branching bisimulation as a congruence (2000)

by Wan Fokkink
Venue:Journal of Computer and System Sciences
Citations:15 - 6 self