J Zwiers

• Compositionality, concurrency, and partial correctness