mirror of
https://github.com/pingcap/tla-plus.git
synced 2026-08-19 10:03:30 +08:00
6307a61097
* DistributedTransaction: rewrite monotonicity formulas Signed-off-by: ekexium <ekexium@gmail.com> * DistributedTransaction: check SnapshotIsolation Signed-off-by: ekexium <ekexium@gmail.com> * delete proof Signed-off-by: ekexium <ekexium@gmail.com>
4 lines
260 B
Markdown
4 lines
260 B
Markdown
# TLA+ for Distributed Transaction
|
|
|
|
The module contains a abstract specification of the transaction system implemented in TiKV. The server-side implementation can be found in [TiKV Transaction Module](https://github.com/tikv/tikv/tree/master/src/storage/txn).
|