Distributed Timed Automata with Independently Evolving Clocks⋆ S. Akshay1,3, Benedikt Bollig1 , Paul Gastin1 , Madhavan Mukund2, and K. Narayan Kumar2 1 LSV, ENS Cachan, CNRS, France

First Page		Document Content
Date: 2008-06-21 12:25:26		Distributed Timed Automata with Independently Evolving Clocks⋆ S. Akshay1,3, Benedikt Bollig1 , Paul Gastin1 , Madhavan Mukund2, and K. Narayan Kumar2 1 LSV, ENS Cachan, CNRS, France Add to Reading List Source URL: www.cmi.ac.in Download Document from Source Website File Size: 198,05 KB Share Document on Facebook