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
A grouping.
Leslie Lamport: ordering and agreement without a shared clock - logical clocks (1978), agreement with faults (1980), the Byzantine generals (1982), and distributed snapshots (1985).
13 references
The TLA+ Language and Tools for Hardware and Software Engineers
L. Lamport (2002) · Addison-Wesley Professional
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
Specifying concurrent program modules
L. Lamport (1981) · Computer Science Laboratory, SRI International
Reaching Agreement in the Presence of Faults
M. Pease and others (1980) · Journal of the ACM · Association for Computing Machinery
How to Make a Multiprocessor Computer That Correctly Executes Multiprocess Programs
Lamport (1979) · IEEE Transactions on Computers · Institute of Electrical and Electronics Engineers (IEEE)
Time, clocks, and the ordering of events in a distributed system
Leslie Lamport (1978) · Communications of the ACM · Association for Computing Machinery
Proving the Correctness of Multiprocess Programs
L. Lamport (1977) · Institute of Electrical and Electronics Engineers (IEEE)