Branching Time and Abstraction (1996)

by R van Glabbeek, W Weijland
Venue:in Bisimulation Semantics, ACM