1.
2.
3.
6.
Solvingn the Santa Claus concurrency puzzle with a model checker
(news.ycombinator.com)
7.
8.
9.
10.