14 citations · 50 across the 20 of their papers we have counts for
Showing 2020 · cs.DCShow all
2 papers · 2 filters
cs.DC2020
Reactive Proof Labeling Schemes for Distributed Decision
Jiaqi Chen, Shlomi Dolev, Shay Kutten
We generalize the definition of Proof Labeling Schemes to reactive systems, that is, systems where the configuration is supposed to keep changing forever. As an example, we address…
cs.DC2020
Singularly Optimal Randomized Leader Election
Shay Kutten, William K. Moses, Gopal Pandurangan +1
This paper concerns designing distributed algorithms that are singularly optimal, i.e., algorithms that are simultaneously time and message optimal, for the fundamental leader elec…