TLA+ Specification of LWT (Lightweight Transactions) in Cassandra, ScyllaDB, and CASPaxos.
hengxin / lwt-tla Goto Github PK
View Code? Open in Web Editor NEWTLA+ Specification of LWT (Lightweight Transactions) in Cassandra, ScyllaDB, and CASPaxos
License: MIT License