Text this: Compositionality, concurrency and partial correctness