24 citations · 49 across the 7 of their papers we have counts for
1 paper · 1 filter
Antti Kuusisto, Fabian Reiter
We investigate the decidability of the emptiness problem for three classes of distributed automata. These devices operate on finite directed graphs, acting as networks of identical…