Hacker News new | ask | show | jobs
Modelling Distributed Locking in TLA+ (medium.com)
15 points by polyglotfacto2 1453 days ago