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: about 1 month 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 (about 3 years ago)
• Default Branch: main
• Last Pushed: 2022-12-31T02:50:32.000Z (almost 2 years ago)
• Last Synced: 2023-08-06T04:29:22.952Z (over 1 year ago)
• Topics: caspaxos, cassandra, lightweight-transactions, paxos, scylladb, tla
• Language: TeX
• Homepage:
• Size: 5.52 MB
• Stars: 0
• Watchers: 2
• 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/)