Communities
Connect sessions
AI calendar
Organizations
Join Slack
Contact Sales
Search
Open menu
Home
Papers
1708.04863
Cited By
Formal Specification and Safety Proof of a Leaderless Concurrent Atomic Broadcast Algorithm
16 August 2017
Marius Poke
C. W. Glass
Re-assign community
ArXiv (abs)
PDF
HTML
Papers citing
"Formal Specification and Safety Proof of a Leaderless Concurrent Atomic Broadcast Algorithm"
1 / 1 papers shown
A Dual Digraph Approach for Leaderless Atomic Broadcast (Extended Version)
Marius Poke
C. W. Glass
88
1
0
28 Aug 2017
1
Page 1 of 1
