11 lines
649 B
Markdown
11 lines
649 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
|
|
- [ ] Resources and Tools #TLA 📅 2025-02-25 ⏳ 2025-02-24
|
|
- [ ] Die Hard #TLA 📅 2025-03-04 ⏳ 2025-02-28
|
|
- [ ] Transaction Commit #TLA 📅 2025-03-11 ⏳ 2025-03-07
|
|
- [ ] Two-Phase Commit #TLA 📅 2025-03-18 ⏳ 2025-03-14
|
|
- [ ] Paxos Commit #TLA 📅 2025-03-18 ⏳ 2025-03-14
|
|
- [ ] Implementation #TLA 📅 2025-03-25 ⏳ 2025-03-21
|
|
- [ ] The Alternating Bit Protocol #TLA 📅 2025-04-01 ⏳ 2025-03-28
|
|
- [ ] Implementation with Refinement #TLA ⏳ 2025-04-04 📅 2025-04-08
|