For sequential processes, branching bisimulation is preserved under refinement of actions, whereas weak bisimulation is not. This was established in Section 6, which appeared before as VAN GLABBEEK & WEIJLAND (1989b). A proof can also be found in DARONDEAU & DEGANO (1989).