News for hackers. Stuff that matters.

A comment on Using TLA+ to Model Cascading Failures. Parent comment

Re:Using TLA+ to Model Cascading Failures by Tomte on Thursday April 11, 2019 @12:02PM (#19636003)
https://lamport.azurewebsites.net/tla/formal-methods-amazon....
[ Parent | on HN ]

There are no comments on this comment yet.