algebraic simulations .
A compositional theory of refinement for branching time