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 dwohnitmok on Thursday March 05, 2020 @06:36PM (#22499593)
OP is perhaps being a bit modest, but his own website https://pron.github.io/tlaplus is a fantastic resource.
[ Parent | on HN ]

There are no comments on this comment yet.