| Name | Description | Document | |
|---|---|---|---|
| 1 | Abstract Raft | Raft Consensus | doc |
| 2 | Raft | Raft Consensus | doc |
| 3 | Two Phase Commit | Two Phase Commit | doc |
| 4 | B Link Tree | B Link Tree | doc |
forked from scuptio/tlaplus-specification
TLA+ specification
License
ybbh/tlaplus-specification
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Folders and files
| Name | Name | Last commit message | Last commit date | |
|---|---|---|---|---|
Repository files navigation
About
TLA+ specification
Resources
License
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published
Languages
- TLA 100.0%