Distributed Timed Automata with Independently Evolving Clocks

S. Akshay, Benedikt Bollig, Paul Gastin, Madhavan Mukund, K. Narayan Kumar. Distributed Timed Automata with Independently Evolving Clocks. In Franck van Breugel, Marsha Chechik, editors, CONCUR 2008 - Concurrency Theory, 19th International Conference, CONCUR 2008, Toronto, Canada, August 19-22, 2008. Proceedings. Volume 5201 of Lecture Notes in Computer Science, pages 82-97, Springer, 2008. [doi]

Abstract

Abstract is missing.