Wan Fokkink, Jun Pang, Anton Wijs. Is Timed Branching Bisimilarity an Equivalence Indeed?. In Paul Pettersson, Wang Yi, editors, Formal Modeling and Analysis of Timed Systems, Third International Conference, FORMATS 2005, Uppsala, Sweden, September 26-28, 2005, Proceedings. Volume 3829 of Lecture Notes in Computer Science, pages 258-272, Springer, 2005. [doi]
Abstract is missing.