A Science of Concurrent Programs

Hacker News 上有一些讨论
目测是在 TLA+ 的基础上做了一些总结和提高

可惜我现在对并行话题没什么兴趣了
--
FROM 87.93.223.*