A TLA+ program for simulating transaction commits.
This abstract program is from the Lamport TLA+ Course Lecture 5: Transaction Commit (HD).
| Name | Name | Last commit date | ||
|---|---|---|---|---|
A TLA+ program for simulating transaction commits.
This abstract program is from the Lamport TLA+ Course Lecture 5: Transaction Commit (HD).