News for hackers. Stuff that matters.

A comment on A walkthrough tutorial of TLA+ and its tools: analyzing a blocking queue. Parent comment

Re:A walkthrough tutorial of TLA+ and its tools: analyzing a... by veeralpatel979 on Thursday March 05, 2020 @09:54PM (#22500635)
I liked the Practical TLA+ book:

https://www.apress.com/gp/book/9781484238288

[ Parent | on HN ]

There are no comments on this comment yet.