Leslie Lamport
8 references under this name, matched as it is written. Somebody else may write under it too, and the same person may appear here spelled another way.
This description was written by a machine and published without a person checking it. It is what the agent made of this grouping, and not a statement anybody has stood behind.
Leslie Lamport
Leslie Lamport: ordering and agreement without a shared clock - logical clocks (1978), agreement with faults (1980), the Byzantine generals (1982), and distributed snapshots (1985).
Model Checking TLA+ Specifications
Yuan Yu and others (1999) · Lecture notes in computer science · Springer Science+Business Media
The temporal logic of actions
Leslie Lamport (1994) · ACM Transactions on Programming Languages and Systems · Association for Computing Machinery
Verification of a multiplier: 64 bits and beyond
Robert P. Kurshan and others (1993) · Lecture notes in computer science · Springer Science+Business Media
The existence of refinement mappings
Martı́n Abadi and others (1991) · Theoretical Computer Science · Elsevier BV
Realizable and unrealizable specifications of reactive systems
Martı́n Abadi and others (1989) · Lecture notes in computer science · Springer Science+Business Media
Distributed snapshots: determining global states of distributed systems
K. Mani Chandy and others (1985) · ACM Transactions on Computer Systems · Association for Computing Machinery
The Byzantine Generals Problem
Leslie Lamport and others (1982) · ACM Transactions on Programming Languages and Systems · Association for Computing Machinery
Time, clocks, and the ordering of events in a distributed system
Leslie Lamport (1978) · Communications of the ACM · Association for Computing Machinery