You are about to access our book library "Concurrency, Compositionality, and Correctness: Essays in Honor of Willem-Paul de Roever full version" .