Skip to content

TLA+ specification of the Kafka replication protocol

Notifications You must be signed in to change notification settings

satishd/kafka-specification

About

TLA+ specification of the Kafka replication protocol

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published

Languages

  • TLA 100.0%