24 citations · 49 across the 7 of their papers we have counts for
Showing 2014Show all
2 papers · 1 filter
cs.FL2014★ 24 cited
Distributed Graph Automata and Verification of Distributed Algorithms
Fabian Reiter
Combining ideas from distributed algorithms and alternating automata, we introduce a new class of finite graph automata that recognize precisely the languages of finite graphs defi…
cs.FL2014
Distributed Graph Automata
Fabian Reiter
Inspired by distributed algorithms, we introduce a new class of finite graph automata that recognize precisely the graph languages definable in monadic second-order logic. For the…