Hillel Wayne personal blog
Modeling Message Queues in TLA+
I recently did a corporate TLA+ workshop and some people asked what TLA+ specs look like in practice. If you looked at the most common public examples, you’d probably come away thinking that people only used it for critical consensus algorithms. This is a problem for two reasons: first, it makes it harder to learn…
- Points
- 195
- HN comments
- 46
- Submissions
- 1
- Cited by
- 0 commenters
Software EngineeringSystems & Performance2018
On Hacker News
| Submitted | Title on HN | Points | Comments |
|---|---|---|---|
| Nov 1, 2018 | Modeling Message Queues in TLA+ by panic | 195 | 46 |
