Concurrency, Compositionality, and Correctness