Refinement in branching time semantics

In this paper we consider branching time semantics for finite sequential processes with silent moves. We show that Mllner's notion of observation equivalence is not preserved under refinement of actions, even when no interleaving operators are considered; however, the authors' notion of branching bislmu/ation is.