Distributed Timed Automata with Independently Evolving Clocks.

S. Akshay, Benedikt Bollig, Paul Gastin, Madhavan Mukund, K. Narayan Kumar

Browse the full CONCUR paper archive.