/bookkeeper-tlaplus

A TLA+ specification of the Apache BookKeeper replication protocol

Primary LanguageTLAMIT LicenseMIT

Stargazers