Concurrency, compositionality, and correctness essays in honor of Willem-Paul De Roever / - Dams, Dennis.; Roever, W.-P. de,; Hannemann, Ulrich.; Steffen, Martin. (Springer,, 2010)