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

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