TY  - RPRT
TI  - Formal Specification and Safety Proof of a Leaderless Concurrent Atomic Broadcast Algorithm
AU  - Marius Poke
AU  - Colin W. Glass
PY  - 2017
UR  - https://arxiv.org/abs/1708.04863
ID  - 1708.04863
ER  -