Concurrency, Compositionality, and Correctness Essays in Honor of Willem-Paul de Roever - Dams, Dennis (Springer Berlin Heidelberg, 2010)