/kafka-specification

TLA+ specification of the Kafka replication protocol

Primary LanguageTLA

Issues