README.md

A TLA+ program for simulating transaction commits.

This abstract program is from the Lamport TLA+ Course Lecture 5: Transaction Commit (HD).

References

• TLA+ Video Course
• TLA+ GitHub Repository
• TLA+ .gitignore Template
• On Reddit, Twitter