1 paper
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Radu Ciobanu +2
A timed network consists of an arbitrary number of initially identical 1-clock timed automata, interacting via hand-shake communication. In this setting there is no unique central…