https://github.com/hengxin/lwt-tla
TLA+ Specification of LWT (Lightweight Transactions) in Cassandra, ScyllaDB, and CASPaxos
https://github.com/hengxin/lwt-tla
caspaxos cassandra lightweight-transactions paxos scylladb tla
Last synced: 8 months ago
JSON representation
TLA+ Specification of LWT (Lightweight Transactions) in Cassandra, ScyllaDB, and CASPaxos
- Host: GitHub
- URL: https://github.com/hengxin/lwt-tla
- Owner: hengxin
- License: mit
- Created: 2021-12-09T02:31:00.000Z (almost 4 years ago)
- Default Branch: main
- Last Pushed: 2022-12-31T02:50:32.000Z (almost 3 years ago)
- Last Synced: 2025-01-07T19:45:01.727Z (9 months ago)
- Topics: caspaxos, cassandra, lightweight-transactions, paxos, scylladb, tla
- Language: TeX
- Homepage:
- Size: 5.52 MB
- Stars: 0
- Watchers: 3
- Forks: 0
- Open Issues: 0
-
Metadata Files:
- Readme: README.md
- License: LICENSE
Awesome Lists containing this project
README
# tla-cassandra-lwt
TLA+ Specification of LWT (Lightweight Transactions) in Cassandra, ScyllaDB, and CASPaxos.
- [caspaxos-tla](./caspaxos-tla/)
- [cassandra-tla](./cassandra-tla/)
- [scylladb-tla](./scylladb-tla/)