IOS Press
Fundamenta Informaticae
Software Analysis and Transformation

Fokkink, W.J, Pang, J, & Wijs, A.J. (2008). Is timed branching bisimilarity a congruence indeed?. Fundamenta Informaticae, 87(3/4), 287–311.