Revisiting Local Time Semantics for Networks of Timed Automata.

R. Govind, Frdric Herbreteau, B. Srivathsan, Igor Walukiewicz

Browse the full CONCUR paper archive.