Ron Pressler personal blog
TLA+ in Practice and Theory, Part 3: The Temporal Logic of Actions
TLA, the Temporal Logic of Actions is the core of TLA+. It is a temporal logic that minimizes the use of temporal reasoning in favor of more ordinary mathematics. It is a general mathematical framework for describing and reasoning about algorithms and systems.
- Points
- 130
- HN comments
- 7
- Submissions
- 1
- Cited by
- 0 commenters
Software EngineeringMath & Algorithms2017
On Hacker News
| Submitted | Title on HN | Points | Comments |
|---|---|---|---|
| Jun 10, 2017 | TLA+ in Practice and Theory, Part 3: The Temporal Logic of Actions by pron | 130 | 7 |
