Concurrency, Compositionality, and Correctness - Dams, Dennis; Hannemann, Ulrich; Kanade, Takeo; Steffen, Martin (Springer Berlin Heidelberg, 2010)