afonsonf / ceph-consensus-spec

TLA+ specification of the Ceph consensus algorithm
22Updated 2 years ago

Alternatives and similar repositories for ceph-consensus-spec:

Users that are interested in ceph-consensus-spec are comparing it to the libraries listed below