Media type: E-Article Title: Communicating Sequential Processes. The First 25 Years: Order, Topology, and Recursion Induction in CSP Contributor: Reed, Mike imprint: Springer Berlin Heidelberg, 2005 Published in: Communicating Sequential Processes. The First 25 Years Language: Not determined DOI: 10.1007/11423348_13 ISSN: 0302-9743; 1611-3349 Origination: Footnote: