Branching time and abstraction in bisimulation semantics (1996)

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