Rob J. van Glabbeek Bas Luttik Nikola Trcka Branching Bisimilarity with Explicit Divergence. 371-392 2009 93 Fundam. Inform. 4 http://dx.doi.org/10.3233/FI-2009-109 db/journals/fuin/fuin93.html#GlabbeekLT09