לזלי למפורט
הערות שוליים

↑  Lamport, Leslie (1986). LaTeX: A Document Preparation System. Addison-Wesley. ISBN 978-0-201-15790-1. נבדק ב-2020-12-31.
1 2  "The Definitive, Non-Technical Introduction to LaTeX, Professional Typesetting and Scientific Publishing". Math Vault (באנגלית אמריקאית). 2015-09-05. נבדק ב-2020-12-31.
1 2  Lamport, L. (1978). "Time, clocks, and the ordering of events in a distributed system" (PDF). Communications of the ACM. pp. 558–565. doi:10.1145/359545.359563.
↑  Savage, N. (2014). "General agreement: Leslie Lamport contributed to the theory and practice of building distributed computing systems that work as intended". Communications of the ACM. 57 (6): 22–23. doi:10.1145/2601076.
↑  Hoffmann, L. (2014). "Q&A Divide and Conquer: Leslie Lamport on Byzantine generals, clocks, and other tools for reasoning about concurrent systems". Communications of the ACM. 57 (6): 112–ff. doi:10.1145/2601077.
1 2 3 4 5  Lamport, Leslie (2006-12-19). "My Writings". research.microsoft.com. נבדק ב-2020-12-31.
↑  Lamport, Leslie (1972). "The Analytic Cauchy Problem with Singular Data". נבדק ב-2020-12-31.
↑  Neiger, Gil (2003-01-23). "PODC Influential Paper Award: 2000". אורכב מ-המקור ב-2013-07-09. נבדק ב-2020-12-31.
↑  Lamport, Leslie (1979). "How to Make a Multiprocessor Computer That Correctly Executes Multiprocess Program". IEEE Trans. Comput. pp. 690–691. doi:10.1109/TC.1979.1675439. ISSN 0018-9340.
↑  Lamport, Leslie; Robert Shostak; Marshall Pease (ביולי 1982). "The Byzantine Generals Problem". ACM Transactions on Programming Languages and Systems. pp. 382–401. doi:10.1145/357172.357176. נבדק ב-2020-12-31. {{cite web}}:  (עזרה)
↑  Chandy, K. Mani; Leslie Lamport (בפברואר 1985). "Distributed Snapshots: Determining Global States of a Distributed System". ACM Transactions on Computer Systems. pp. 63–75. doi:10.1145/214451.214456. נבדק ב-2020-12-31. {{cite web}}:  (עזרה)
↑  Lamport, Leslie (במאי 1998). "The Part-Time Parliament". ACM Transactions on Computer Systems. pp. 133–169. doi:10.1145/279227.279229. נבדק ב-2020-12-31. {{cite web}}:  (עזרה)
↑  "Most cited articles in Computer Science". בספטמבר 2006. {{cite web}}:  (עזרה)
↑  Lamport, Leslie. "How (LA)TEX changed the face of Mathematics" (PDF).
↑  "TeX, LaTeX, and AMS-LaTeX". 1998-12-03. אורכב מ-המקור ב-1998-12-03. נבדק ב-2020-12-31.
↑  Lamport, Leslie (1990-04-01). "A Temporal Logic of Actions". נבדק ב-2020-12-31.
↑  Lamport, Leslie (במאי 1994). "The Temporal Logic of Actions". ACM Transactions on Programming Languages and Systems. pp. 872–923. doi:10.1145/177492.177726. נבדק ב-2020-12-31. {{cite web}}:  (עזרה)
↑  Lamport, Leslie (2002). Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers. Addison-Wesley. ISBN 978-0-321-14306-8. נבדק ב-2020-12-31.
↑  "The International Conference on Dependable Systems and Networks keynote speaker biography". אורכב מ-המקור ב-12 בפברואר 2019. נבדק ב-2020-12-31. {{cite web}}:  (עזרה)
↑  "IEEE Emanuel R. Piore Award Recipients" (PDF). IEEE. נבדק ב-2020-12-31.
↑  Pease, Marshall; Robert Shostak; Leslie Lamport (באפריל 1980). "Reaching Agreement in the Presence of Faults". Journal of the Association for Computing Machinery. pp. 228–234. doi:10.1145/322186.322188. נבדק ב-2020-12-31. {{cite web}}:  (עזרה)
↑  "Edsger W. Dijkstra Prize in Distributed Computing: 2005". נבדק ב-2020-12-31.
↑  "IEEE John von Neumann Medal Recipients" (PDF). IEEE. נבדק ב-31 בדצמבר 2020. {{cite web}}:  (עזרה)
↑  "Turing award 2013". ACM.
↑  Lamport, Leslie (2013). "Leslie Lamport - A.M. Turing Award Winner". ACM.
↑  Leslie Lamport ACM Fellows 2014
↑  "PODC 2001: Lamport Lecture Series". נבדק ב-2020-12-31.
| --- | --- |
בקרת זהויות :  NLI: 987007452666005171  PLWABN: 9810541610705606  ACM DL: 81100244989  BIBSYS: 90401042  BnF: cb12572554j (data)  CiNii: DA00289830  dblp: l/LeslieLamport  GND: 170465918  ICCU: MILV019266  ISNI: 0000 0000 6307 3806  LCCN: n85197221  MGP: 35871  NDL: 00470060  SUDOC: 035040696  VIAF: 44417132   WorldCat (עם VIAF): 44417132