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

#compsci #formalmethods