Concurrency, Compositionality, and Correctness | Kaicus Deutschland