Hacker News new | ask | show | jobs
Modelling the archetype of a message-passing bug with TLA+ (medium.com)
2 points by polyglotfacto2 1468 days ago