956 citations · 1.5k across the 16 of their papers we have counts for
Showing 2017Show all
2 papers · 1 filter
cs.DC2017★ 2 cited
Formal Specification and Safety Proof of a Leaderless Concurrent Atomic Broadcast Algorithm
Marius Poke, Colin W. Glass
Agreement plays a central role in distributed systems working on a common task. The increasing size of modern distributed systems makes them more susceptible to single component fa…
cs.DC2017★ 1 cited
A Dual Digraph Approach for Leaderless Atomic Broadcast (Extended Version)
Marius Poke, Colin W. Glass
Many distributed systems work on a common shared state; in such systems, distributed agreement is necessary for consistency. With an increasing number of servers, these systems bec…