Concurrency, compositionality, and correctness : Essays in Honor of Willem-Paul de Roever (2010)