Wan Fokkink Jun Pang Anton Wijs Is Timed Branching Bisimilarity a Congruence Indeed? 287-311 2008 87 Fundam. Inform. 3-4 http://iospress.metapress.com/content/72559204677312hk/ db/journals/fuin/fuin87.html#FokkinkPW08