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