14Solvingn the Santa Claus concurrency puzzle with a model checkerLooks 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.You just gonna leave the title with a typo?[deleted]
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.
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.
You just gonna leave the title with a typo?