Compositionality, Concurrency, and Partial Correctness