W.: Branching time and abstraction in bisimulation semantics (1996)

by R van Glabbeek, Weijland
Venue:Journal of the ACM