The Coarsest Congruence for Timed Automata with Deadlines Contained in Bisimulation.

Pedro R. D'Argenio, Biniam Gebremichael

Browse the full CONCUR paper archive.