When the Simplest Concurrent Program Goes Against All Intuition (via hwayne) — discussion
#compsci #formalmethods
