Solvingn the Santa Claus concurrency puzzle with a model checker

(wyounas.github.io)

14 points | by simplegeek 3 days ago ago

2 comments