Unifying behavioral equivalences of timed transition systems

Irina Virbitskaite, Natalya Gribovskaya. Unifying behavioral equivalences of timed transition systems. Programming and Computer Software, 36(3):138-148, 2010. [doi]

Abstract

Abstract is missing.