Concurrency, Compositionality, and Correctness : Essays in Honor of Willem-Paul de Roever - Dennis Dams, Ulrich Hannemann, Martin Steffen ((Lecture Notes in Computer Science))