52 citations · 206 across the 25 of their papers we have counts for
1 paper · 1 filter
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…