A Science of Concurrent Programs (via danielcompton) — discussion

#formalmethods