Formalizing Concurrency, Distribution, and Mobility | Hacker News Reader