bibliographer - Leslie Lamport

bibliographer a curated TCS bibliography

obsidian
tags
authors
no doi
no pdf
bad author
add item
librarian

Mathematical Proof Between Generations Jonas Bayer Christoph Benzmuller Kevin Buzzard Marco David Leslie Lamport Yuri Matiyasevich Lawrence Paulson Dierk Schleicher Benedikt Stock Efim Zelmanov [github]

The Part-Time Parliament Leslie Lamport [github]

The Mutual Exclusion Problem: Part I - A Theory of Interprocess Communication Leslie Lamport [github]

The Mutual Exclusion Problem: Part II - Statement and Solutions Leslie Lamport [github]

The Mutual Exclusion Problem Has Been Solved Leslie Lamport [github]

A New Solution of Dijkstra's Concurrent Programming Problem Leslie Lamport [github]

Time, Clocks, and the Ordering of Events in a Distributed System Leslie Lamport [github]

The Byzantine Generals Problem Leslie Lamport Robert Shostak Marshall Pease [github]

An old-fashioned recipe for real time Martín Abadi Leslie Lamport [github]

Real-time model checking is really simple Leslie Lamport [github]

Library Size: 13G (10 entries), Last Updated: Apr 04, 2026, 18:14:59, Build Time: N/A

[show logs] [hide logs]