Leslie Lamport

Author of LaTeX: A Document Preparation System

5+ Works 731 Members 1 Review

About the Author

Leslie Lamport, a computer scientist, is well known for his contributions to concurrent computing and distributed systems. Now at Microsoft Research in Mountain View, California, he began his work on TLA+ at the Digital (later Compaq) Systems Research Center in Palo Alto. Lamport, who earned his show more Ph.D. in mathematics from Brandeis University, is a member of the National Academy of Engineering show less

Includes the names: L. Lamport, レスリーランポート

Image credit: Taken from http://commons.wikimedia.org/wiki/File:Leslie_Lamport.jpg where further information may be obtained, including an e-mail by Leslie Lamport authorizing irrestricted use of the picture.

Works by Leslie Lamport

Popular Recent

LaTeX: A Document Preparation System (1986) 690 copies, 1 review

Specifying Systems: The TLA Language and Tools for Hardware and Software Engineers (2002) 35 copies

The LaTex Companions: Basic, Advanced, Graphics, Web (2002) 4 copies

The Temporal Logic of Actions 1 copy

Paxos Made Simple 1 copy

Work Explorer

Associated Works

Parallelisme, en artikelsamling — Author, some editions — 1 copy, 1 review

Tagged

@office (3) computer (19) computer programming (3) computer science (21) computers (25) computing (21) cs (3) desktop publishing (4) document preparation (4) documentation (3) documents (3) latex (96) Leslie Lamport (3) logic (3) manual (6) markup (3) math (8) non-fiction (35) programming (29) programming languages (4) Q (3) QA (3) QA76 (3) QA76.9 (3) QA76.9.S88 (3) QA76.9.S88L35 (3) reference (21) science (3) software (9) statistics (3) technical (5) technology (4) Temporal Logic of Actions (3) tex (34) text processing (7) textbook (3) to-read (7) typesetting (36) typography (17) writing (6)