レスリー・ランポート
ランポートの研究は、分散システムの理論の基礎の構築に貢献してきた。彼の注目すべき論文には、以下のものがある。
"Time, Clocks, and the Ordering of Events in a Distributed System", - 2000年のダイクストラ賞(英語版)を受賞
"How to Make a Multiprocessor Computer That Correctly Executes Multiprocess Programs" - 逐次一貫性の表記法を定義した。
"The Byzantine Generals' Problem"
"Distributed Snapshots: Determining Global States of a Distributed System"
"The Part-Time Parliament"
これらの論文は、論理クロック(英語版)(およびHappened-Before関係(英語版))やビザンチン障害などの概念に関連している。これらの論文は、計算機科学の分野で最も引用されている論文の一つであり、分散システムにおける多くの基本的な問題を解決するための、以下に掲げるアルゴリズムを記述している。
合意のためのPaxosアルゴリズム
コンピュータシステムにおける同時に同じリソースを必要とする複数のスレッドの相互排除のためのパン屋のアルゴリズム
一貫性のあるグローバルな状態(スナップショット)を決定するためのチャンディ=ランポートのアルゴリズム(英語版)
デジタル署名のプロトタイプの1つであるランポート署名