Login / Signup
Formal Specification and Safety Proof of a Leaderless Concurrent Atomic Broadcast Algorithm.
Marius Poke
Colin W. Glass
Published in:
CoRR (2017)
Keyphrases
</>
formal specification
learning algorithm
optimal solution
dynamic programming
detection algorithm
computational complexity
k means
np hard
machine learning
classification algorithm