Rob J. van Glabbeek Bas Luttik Nikola Trcka Branching Bisimilarity with Explicit Divergence http://arxiv.org/abs/0812.3068 2008 CoRR abs/0812.3068 db/journals/corr/corr0812.html#abs-0812-3068 informal publication