Leslie B. Lamport (born February 7, 1941) is an American computer scientist and mathematician. Lamport is best known for his seminal work in distributed...

advanced vector clock method. The algorithm is named after its creator, Leslie Lamport. Distributed algorithms such as resource synchronization often depend...

TLA+ is a formal specification language developed by Leslie Lamport. It is used for designing, modelling, documentation, and verification of programs,...

Retrieved 2020-12-30. Leslie Lamport (April 23, 2007). "The Writings of Leslie Lamport: LaTeX: A Document Preparation System". Leslie Lamport's Home Page. Retrieved...

digital signature scheme. The Lamport signature cryptosystem was invented in 1979 and named after its inventor, Leslie Lamport. Alice has a 256-bit cryptographic...

system. It was developed by and named after Leslie Lamport and K. Mani Chandy. According to Leslie Lamport's website, “The distributed snapshot algorithm...

Lamport's bakery algorithm is a computer algorithm devised by computer scientist Leslie Lamport, as part of his long study of the formal correctness of...

machine replication approach to distributed computing, as suggested by Leslie Lamport and surveyed by Fred Schneider. State machine replication is a technique...

especially asynchronous distributed systems. It was formulated by Leslie Lamport. The happened-before relation is formally defined as the least strict...

1016/0376-5075(78)90045-4. Retrieved 2008-03-13. Lamport, Leslie (2004). "Lower Bounds for Asynchronous Consensus". Lamport, Leslie; Mike Massa (2004). "Cheap Paxos"...