Vanlightly / bookkeeper-tlaplus

A TLA+ specification of the Apache BookKeeper replication protocol
105Updated last year

Alternatives and similar repositories for bookkeeper-tlaplus:

Users that are interested in bookkeeper-tlaplus are comparing it to the libraries listed below