Solvingn the Santa Claus concurrency puzzle with a model checker
wyounas.github.io
Solvingn the Santa Claus concurrency puzzle with a model checker
1–4 of 4 posts
Re: Solvingn the Santa Claus concurrency puzzle with a model checker
#2[deleted]
Re: Solvingn the Santa Claus concurrency puzzle with a model checker
#3You just gonna leave the title with a typo?
Re: Solvingn the Santa Claus concurrency puzzle with a model checker
#4Looks 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.