1 citations · 1 across the 1 of their papers we have counts for
1 paper
Rob van Glabbeek, Bas Luttik, Nikola Trcka
We consider the relational characterisation of branching bisimilarity with explicit divergence. We prove that it is an equivalence and that it coincides with the original definitio…