Concurrency, Compositionality, and Correctness Essays in Honor of Willem-Paul de Roever - Dams, Dennis; Hannemann, Ulrich; Steffen, Martin (Springer Berlin Heidelberg : Imprint: Springer, 2010)