
If you like Leslie Lamport, read these authors
1941– · American computer scientist
Also known as: Leslie B. Lamport, Leslie Barry Lamport, Лесли Лэмпорт, ليسلي لامبورت, 레슬리 램포트, レスリー・ランポート
Similar authors
This list comes from an AI, not yet from reader data. Once enough readers like Leslie Lamport, their data replaces the AI suggestions.
- Edsger Wybe Dijkstra1930–2002ReportAI suggestion, no reader data yet
Rigorous, formal approach to program correctness and concurrency written with precise, opinionated clarity. (AI reason)
Donald Knuth1938–ReportAI suggestion, no reader data yetMathematical exposition of algorithms and typesetting (TeX), closely tied to LaTeX's foundations. (AI reason)
Tony Hoare1934–2026ReportAI suggestion, no reader data yetFormal reasoning about programs and concurrent processes via Hoare logic and CSP. (AI reason)
- Nancy LynchReportAI suggestion, no reader data yet
Formal treatment of distributed algorithms and impossibility results. (AI reason)
- Robin MilnerReportAI suggestion, no reader data yet
Mathematical theories of concurrency and communicating systems. (AI reason)
Show all 10
Martin Kleppmann2000–ReportAI suggestion, no reader data yetAccessible explanation of distributed data systems, consensus and consistency. (AI reason)
- Jim GrayReportAI suggestion, no reader data yet
Foundational writing on transactions and fault-tolerant distributed systems. (AI reason)
Pick Leslie Lamport and a few more favorite authors to get suggestions that fit you.
Get your own suggestionsKnown works
- LATEX
- Specifying systems
- Latex Document Preparation System Users
- Latex Companions
- Empty Box for the LaTeX Companions Boxed Set