Compositionality, Concurrency, and Partial Correctness | lit.salon