Notes tagged "linearizability"

← All tags

• Making a KV store linearizable on Raft — and proving it with a checker October 14, 2026