muratdem/RaftLeaderLeases
TLA+ model for Raft Leader Leases, and linearizable reads from leader
PythonMIT
No issues in this repository yet.
TLA+ model for Raft Leader Leases, and linearizable reads from leader
PythonMIT
No issues in this repository yet.