2 citations · 5 across the 3 of their papers we have counts for
3 papers
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…
cs.DC2016★ 2 cited
AllConcur: Leaderless Concurrent Atomic Broadcast (Extended Version)
Marius Poke, Torsten Hoefler, Colin W. Glass
Many distributed systems require coordination between the components involved. With the steady growth of such systems, the probability of failures increases, which necessitates sca…