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]

Authors

Natalya Gribovskaya

This author has not been identified. Look up 'Natalya Gribovskaya' in Google

Irina Virbitskaite

This author has not been identified. Look up 'Irina Virbitskaite' in Google