01Communicating Sequential Processes and the Algebra of Concurrent ProgramsTony Hoare's CSP made communication and parallel composition central programming concepts, influencing formal methods, occam and later channel-oriented languages.↗