Timed Delay Bisimulation is an Equivalence Relation for Timed Transition Systems.

Natalya Gribovskaya Irina Virbitskaite Timed Delay Bisimulation is an Equivalence Relation for Timed Transition Systems. 127-142 2009 93 Fundam. Inform. 1-3 http://dx.doi.org/10.3233/FI-2009-0092 db/journals/fuin/fuin93.html#GribovskayaV09