zeta1999 / 2-phase-commit-protocol Goto Github PK
View Code? Open in Web Editor NEWThis project forked from ja030019/2-phase-commit-protocol
Use TLA+/PlusCal to explore what problems may arise, and how to properly design the protocol to overcome those problems.