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. Fundamenta Informaticae, 93(1-3):127-142, 2009. [doi]

Abstract

Abstract is missing.