11 lines
647 B
Markdown
11 lines
647 B
Markdown
- [x] Introduction to TLA+ #TLA ⏳ 2025-02-28 📅 2025-02-28 ✅ 2025-02-24
|
|
- [x] State machines in TLA+ #TLA ⏳ 2025-02-28 📅 2025-02-28 ✅ 2025-02-24
|
|
- [x] Resources and Tools #TLA ⏳ 2025-02-24 📅 2025-02-25 ✅ 2025-03-03
|
|
- [x] Die Hard #TLA ⏳ 2025-02-28 📅 2025-03-04 ✅ 2025-02-28
|
|
- [x] Transaction Commit #TLA ⏳ 2025-03-07 📅 2025-03-22 ✅ 2025-04-08
|
|
- [ ] Two-Phase Commit #TLA 📅 2025-07-29
|
|
- [ ] Paxos Commit #TLA 📅 2025-07-29
|
|
- [ ] Implementation #TLA 📅 2025-07-29
|
|
- [ ] The Alternating Bit Protocol #TLA ⏳ 2025-03-28 📅 2025-08-04
|
|
- [ ] Implementation with Refinement #TLA ⏳ 2025-04-04 📅 2025-08-04
|