top | item 46824398 Solvingn the Santa Claus concurrency puzzle with a model checker 16 points| simplegeek | 1 month ago |wyounas.github.io 2 comments order hn newest lala_lala|28 days ago Looks interesting. Like that the author modeled the failure scenario first before the correct one, it’s instructive. As other commenter pointed, a small typo in the title. unknown|28 days ago [deleted] lacoolj|28 days ago You just gonna leave the title with a typo?
lala_lala|28 days ago Looks interesting. Like that the author modeled the failure scenario first before the correct one, it’s instructive. As other commenter pointed, a small typo in the title.
lala_lala|28 days ago
unknown|28 days ago
[deleted]
lacoolj|28 days ago