Media type: E-Article Title: Concurrency, Compositionality, and Correctness: A Small Step for Mankind Contributor: Huizing, Cornelis; Koymans, Ron; Kuiper, Ruurd imprint: Springer Berlin Heidelberg, 2010 Published in: Concurrency, Compositionality, and Correctness Language: Not determined DOI: 10.1007/978-3-642-11512-7_5 ISSN: 0302-9743; 1611-3349 Origination: Footnote: