next up previous
Next: Complete axiomatization Up: Conclusion Previous: Complexity

Branching bisimulation is preserved under action refinement, whereas weak bisimulation is not.

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).



Rob van Glabbeek