August 1978
Hoare publishes CSP
Tony Hoare published Communicating Sequential Processes in August 1978 — a model for concurrent programs communicating through channels.
What it was for
CSP influenced GoA language from Google — simple syntax, fast compilation, and built-in concurrency via goroutines.'s goroutines, occam, and formal reasoningStep-by-step logical thinking in AI models — chain-of-thought before answering hard problems. about concurrency. Hoare's earlier Hoare logic (1969) and CSP together shaped how programmers verify and structure parallel systems.
People
- Tony Hoare — researcher
Why it's here
CSP gave a foundational model for message-passing concurrency.
Why it mattered
It influenced language design and verification for parallel and distributed systems.
What it solved
Shared-memory concurrency was error-prone without structured communication primitives.
Media
ImageTony HoareRama, CC BY-SA 2.0 fr, via Wikimedia Commons
Related
- Tony Hoare publishes QuicksortJuly 1961