Hacker News new | ask | show | jobs
How to Solve Santa Claus Concurrency Puzzle with a Model Checker (wyounas.github.io)
1 points by simplegeek 184 days ago