Title: Compositionality, concurrency and partial correctness
Subjects: Proof theory, Data processing