1
Concurrency, Compositionality, and Correctness [E-Book] : Essays in Honor of Willem-Paul de Roever /