Jakob Zwiers

• Compositionality, concurrency and partial correctness