Ron Pressler personal blog
TLA+ in Practice and Theory, Part 4: Order in TLA+
We learn how to encapsulate and compose TLA+ specifications, of the precise mathematical definition of abstraction, and compare TLA+'s notion of abstraction with those of other formalisms. Plus some various cool stuff.
- Points
- 143
- HN comments
- 11
- Submissions
- 1
- Cited by
- 0 commenters
Software EngineeringMath & Algorithms2017
On Hacker News
| Submitted | Title on HN | Points | Comments |
|---|---|---|---|
| Jun 15, 2017 | TLA+ in Practice and Theory, Part 4: Order in TLA+ by hiq | 143 | 11 |
