next up previous
Next: References Up: Conclusion Previous: Back-and-forth bisimulation

Branching bisimulation sometimes serves as a better tool to prove properties about weak bisimulation than weak bisimulation itself.

Finally, even if branching bisimulation would not be found interesting in its own right, it sometimes serves as a better tool to prove properties about weak bisimulation than weak bisimulation itself. This has been illustrated by the completeness proof for weak bisimulation in this paper, which is somewhat shorter than the one in BERGSTRA & KLOP (1985). A more striking example will be offered in ACETO, FOKKINK, VAN GLABBEEK & INGóLFSDóTTIR (1995), see also here.



Rob van Glabbeek