1![Checking Cache-Coherence Protocols with TLA+ Rajeev Joshi HP Labs, Systems Research Center, Palo Alto, CA. Leslie Lamport Microsoft Research, Mountain View, CA. Checking Cache-Coherence Protocols with TLA+ Rajeev Joshi HP Labs, Systems Research Center, Palo Alto, CA. Leslie Lamport Microsoft Research, Mountain View, CA.](https://www.pdfsearch.io/img/62edaf720022947569eee842fa8ea776.jpg) | Add to Reading ListSource URL: rjoshi.orgLanguage: English - Date: 2010-09-11 18:46:20
|
---|
2![Distributed Snapshots: Determining Global States of Distributed Systems K. MANI CHANDY University of Texas at Austin and LESLIE LAMPORT Distributed Snapshots: Determining Global States of Distributed Systems K. MANI CHANDY University of Texas at Austin and LESLIE LAMPORT](https://www.pdfsearch.io/img/e5f8b2e07efc464acbcec379cd078e4e.jpg) | Add to Reading ListSource URL: lamport.azurewebsites.netLanguage: English - Date: 2002-05-21 20:47:59
|
---|
3![The Byzantine Generals Problem LESLIE LAMPORT, ROBERT SHOSTAK, and MARSHALL PEASE SRI International Reliable computer systems must handle malfunctioningcomponents that give conflicting information to different parts of t The Byzantine Generals Problem LESLIE LAMPORT, ROBERT SHOSTAK, and MARSHALL PEASE SRI International Reliable computer systems must handle malfunctioningcomponents that give conflicting information to different parts of t](https://www.pdfsearch.io/img/956e7a47cc903f8f9fca37b5f2e62e31.jpg) | Add to Reading ListSource URL: www-inst.eecs.berkeley.eduLanguage: English - Date: 2012-08-29 01:19:44
|
---|
4![The Byzantine Generals Problem LESLIE LAMPORT, ROBERT SHOSTAK, and MARSHALL PEASE SRI International Reliable computer systems must handle malfunctioningcomponents that give conflicting information to different parts of t The Byzantine Generals Problem LESLIE LAMPORT, ROBERT SHOSTAK, and MARSHALL PEASE SRI International Reliable computer systems must handle malfunctioningcomponents that give conflicting information to different parts of t](https://www.pdfsearch.io/img/f8f8b0092fa7406db0736ff1f47c4455.jpg) | Add to Reading ListSource URL: people.eecs.berkeley.eduLanguage: English - Date: 2003-04-23 21:18:26
|
---|
5![Standard Document Classes for LATEX version 2e∗ Copyright (Cby Leslie Lamport Copyright (Cby Frank Mittelbach Johannes BraamsThis file is maintained by the LATEX Project team. Standard Document Classes for LATEX version 2e∗ Copyright (Cby Leslie Lamport Copyright (Cby Frank Mittelbach Johannes BraamsThis file is maintained by the LATEX Project team.](https://www.pdfsearch.io/img/e7d60820d0bd2bcf1d675f508427b897.jpg) | Add to Reading ListSource URL: www.latex-project.org- Date: 2018-01-31 15:00:06
|
---|
6![The LATEX 2ε Sources Johannes Braams David Carlisle Alan Jeffrey Leslie Lamport Frank Mittelbach The LATEX 2ε Sources Johannes Braams David Carlisle Alan Jeffrey Leslie Lamport Frank Mittelbach](https://www.pdfsearch.io/img/c166b8357ca9114bc246f38d1b1450d4.jpg) | Add to Reading ListSource URL: www.latex-project.org- Date: 2018-01-31 15:00:06
|
---|
7![The Future of Computing: Logic or Biology Text of a talk given at Christian Albrechts University, Kiel on 11 July 2003 Leslie Lamport 21 July 2003 The Future of Computing: Logic or Biology Text of a talk given at Christian Albrechts University, Kiel on 11 July 2003 Leslie Lamport 21 July 2003](https://www.pdfsearch.io/img/f3ba6d092d47d0e6677def0f6a332abb.jpg) | Add to Reading ListSource URL: research.microsoft.com- Date: 2003-07-21 12:32:42
|
---|
8![TLA+2 A Preliminary Guide Leslie Lamport 15 January 2014
Contents TLA+2 A Preliminary Guide Leslie Lamport 15 January 2014
Contents](https://www.pdfsearch.io/img/e3b78ed3773db8aab5f93ffd6c917766.jpg) | Add to Reading ListSource URL: research.microsoft.com- Date: 2014-01-15 14:29:12
|
---|
9![Paxos Made Simple Leslie Lamport 01 Nov 2001
Abstract The Paxos algorithm, when presented in plain English, is very simple. Paxos Made Simple Leslie Lamport 01 Nov 2001
Abstract The Paxos algorithm, when presented in plain English, is very simple.](https://www.pdfsearch.io/img/9ccfa7ed6f9528a5e118241cc85183c7.jpg) | Add to Reading ListSource URL: nil.csail.mit.edu- Date: 2015-01-05 06:37:33
|
---|
10![Blueprints Leslie Lamport Microsoft Research 25 SeptemberAbstract Blueprints Leslie Lamport Microsoft Research 25 SeptemberAbstract](https://www.pdfsearch.io/img/0de7e750e2c9f8d5cfe0fff720b718a7.jpg) | Add to Reading ListSource URL: fm.csl.sri.com- Date: 2010-10-24 05:32:36
|
---|