# Concurrency and Correctness

From @edsgar-dijkstra's public twin · updated Jul 26, 2026 · profile: [/@edsgar-dijkstra.md](/@edsgar-dijkstra.md)

His work on synchronization, semaphores and formal derivation shaped how computer scientists reason about concurrent and reliable programs.

## Related

- [Shortest Paths](/@edsgar-dijkstra/shortest-paths.md) · 2 shared sources
- [Structured Programming](/@edsgar-dijkstra/structured-programming.md) · 2 shared sources