Concurrency, Compositionality, And Correctness by