Leslie Lamport

Leslie Lamport is a person.

• See: Distributed System, Interactive Consistency, Temporal Logic of Actions.

---

---

References

• Personal Homepage: http://www.lamport.org/
• Wikipedia Person Page: http://wikipedia.org/wiki/Leslie_Lamport

1999

• (Yu et al., 1999) ⇒ Yuan Yu, Panagiotis Manolios, and Leslie Lamport. (1999). “Model Checking TLA + Specifications.” In: CHARME, vol. 99, pp. 54-66.

1993

• (Lamport, 1993) ⇒ Leslie Lamport. (1993). “Hybrid Systems in TLA +. ” Hybrid Systems

1985

• (Chandy & Lamport, 1985) ⇒ K. Mani Chandy, and Leslie Lamport. (1985). “Distributed Snapshots: Determining Global States of Distributed Systems.” In: ACM Transactions on Computer Systems (TOCS) Journal, 3(1). doi:10.1145/214451.214456

1982

• (Lamport et al., 1982) ⇒ Leslie Lamport, Robert Shostak, and Marshall Pease. (1982). “The Byzantine Generals Problem.” In: ACM Transactions on Programming Languages and Systems (TOPLAS) Journal, 4(3). doi:10.1145/357172.357176

1978

• (Lamport, 1978) ⇒ Leslie Lamport. (1978). “Time, Clocks, and the Ordering of Events in a Distributed System.” In: Communications of the ACM Journal, 21(7). doi:10.1145/359545.359563

---