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 lemmster on Thursday March 05, 2020 @06:10PM (#22499374)
Lamport lists various learning resources on his page: http://lamport.azurewebsites.net/tla/learning.html
[ Parent | on HN ]

There are no comments on this comment yet.