Branching Time and Abstraction in Bisimulation Semantics (1996)

by Rob J. Van Glabbeek, W. Peter Weijland
Venue:JOURNAL OF THE ACM