A TLA+ program for simulating transaction commits.
This abstract program is from the Lamport TLA+ Course Lecture 5: Transaction Commit (HD).
moocf/transaction-commit.tla
Folders and files
| Name | Name | Last commit date | ||
|---|---|---|---|---|
Repository files navigation