| Time, clocks, and the ordering of events in a distributed system L Lamport Concurrency: the Works of Leslie Lamport, 179-196, 2019 | 14025 | 2019 |
| The Byzantine generals problem L Lamport, R Shostak, M Pease Concurrency: the works of leslie lamport, 203-226, 2019 | 9695 | 2019 |
| The part-time parliament L Lamport Concurrency: the Works of Leslie Lamport, 277-317, 2019 | 4298 | 2019 |
| I1 (\LaTeX)---A Document L Lamport space 410, 413, 1985 | 4265 | 1985 |
| Distributed snapshots: Determining global states of distributed systems KM Chandy, L Lamport ACM Transactions on Computer Systems (TOCS) 3 (1), 63-75, 1985 | 4053 | 1985 |
| Password authentication with insecure communication L Lamport Communications of the ACM 24 (11), 770-772, 1981 | 4033 | 1981 |
| How to make a multiprocessor computer that correctly executes multiprocess programs Lamport IEEE transactions on computers 100 (9), 690-691, 1979 | 3702 | 1979 |
| Reaching agreement in the presence of faults M Pease, R Shostak, L Lamport Journal of the ACM (JACM) 27 (2), 228-234, 1980 | 3188 | 1980 |
| The temporal logic of actions L Lamport ACM Transactions on Programming Languages and Systems (TOPLAS) 16 (3), 872-923, 1994 | 3092 | 1994 |
| Paxos made simple L Lamport ACM SIGACT News (Distributed Computing Column) 32, 4 (Whole Number 121 …, 2001 | 2458 | 2001 |
| Specifying systems: the TLA+ language and tools for hardware and software engineers L Lamport | 1928 | 2002 |
| Proving the correctness of multiprocess programs L Lamport IEEE transactions on software engineering, 125-143, 1977 | 1741 | 1977 |
| The existence of refinement mappings M Abadi, L Lamport Theoretical Computer Science 82 (2), 253-284, 1991 | 1489 | 1991 |
| On interprocess communication: part I: basic formalism L Lamport Distributed computing 1, 77-85, 1986 | 1335 | 1986 |
| Constructing digital signatures from a one way function L Lamport | 1082 | 1979 |
| The parallel execution of DO loops L Lamport Communications of the ACM 17 (2), 83-93, 1974 | 1079 | 1974 |
| A new solution of Dijkstra's concurrent programming problem L Lamport Concurrency: the works of leslie lamport, 171-178, 2019 | 1054 | 2019 |
| On-the-fly garbage collection: An exercise in cooperation EW Dijkstra, L Lamport, AJ Martin, CS Scholten, EFM Steffens Communications of the ACM 21 (11), 966-975, 1978 | 897 | 1978 |
| SIFT: Design and analysis of a fault-tolerant computer for aircraft control JH Wensley, L Lamport, J Goldberg, MW Green, KN Levitt, ... Proceedings of the IEEE 66 (10), 1240-1255, 1978 | 870 | 1978 |
| Proving liveness properties of concurrent programs S Owicki, L Lamport ACM Transactions on Programming Languages and Systems (TOPLAS) 4 (3), 455-495, 1982 | 858 | 1982 |
