GitHub - divijvaidya/kafka-specification: TLA+ specification of the Kafka replication protocol · GitHub

Name		Name	Last commit message	Last commit date
Latest commit History 41 Commits
.gitignore		.gitignore
AsyncIsr.tla		AsyncIsr.tla
FiniteReplicatedLog.tla		FiniteReplicatedLog.tla
IdSequence.tla		IdSequence.tla
KafkaReplication.cfg		KafkaReplication.cfg
KafkaReplication.tla		KafkaReplication.tla
KafkaTruncateToHighWatermark.tla		KafkaTruncateToHighWatermark.tla
Kip101.tla		Kip101.tla
Kip279.tla		Kip279.tla
Kip320.tla		Kip320.tla
Kip320FirstTry.tla		Kip320FirstTry.tla
RemoteStorageLog.tla		RemoteStorageLog.tla
Util.tla		Util.tla

About

TLA+ specification of the Kafka replication protocol

0 stars

0 watching

Report repository

Releases

Packages

Contributors

Languages