Is timed branching bisimilarity an equivalence indeed (2005)

by W J Fokkink, J Pang, A Wijs
Venue:In Formal Modeling and Analysis of Timed Systems, Third International Conference, FORMATS 2005