24 citations · 49 across the 7 of their papers we have counts for
Showing 2018Show all
3 papers · 1 filter
cs.FL2018★ 2 cited
Identifiers in Registers - Describing Network Algorithms with Logic
Benedikt Bollig, Patricia Bouyer, Fabian Reiter
We propose a formal model of distributed computing based on register automata that captures a broad class of synchronous network algorithms. The local memory of each process is rep…
cs.FL2018★ 1 cited
Distributed Automata and Logic
Fabian Reiter
Distributed automata are finite-state machines that operate on finite directed graphs. Acting as synchronous distributed algorithms, they use their input graph as a network in whic…
cs.FL2018★ 14 cited
Counter Machines and Distributed Automata: A Story about Exchanging Space and Time
Olivier Carton, Bruno Guillon, Fabian Reiter
We prove the equivalence of two classes of counter machines and one class of distributed automata. Our counter machines operate on finite words, which they read from left to right…