A Uniform Framework for Timed Automata.

Tomasz Brengos, Marco Peressotti

Browse the full CONCUR paper archive.