Pages that link to "Leslie Lamport"
Jump to navigation
Jump to search
The following pages link to Leslie Lamport:
Displayed 31 items.
View (previous 50 | next 50) (20 | 50 | 100 | 250 | 500)- Personal Knowledge Container (← links)
- Specifying Systems (← links)
- Category:Specifying Systems (← links)
- PKC/Readme.md (← links)
- TLA+ (← links)
- Video/Lamport TLA+ Course Lecture 1: Introduction to TLA+ (HD) (← links)
- Book/Specifying Systems (← links)
- Time (← links)
- Paper/Outline of a Mathematical Theory of Computation (← links)
- Governance (← links)
- Category:Systems Engineering (← links)
- Systems Engineering (← links)
- Order (← links)
- Causality (← links)
- A computable framework for accountable data assets (← links)
- Video/The Man Who Revolutionized Computer Science With Math (← links)
- Video/Leslie Lamport: Thinking Above the Code (← links)
- Video/Lamport on discovering the Bakery Algorithm (← links)
- Video/Think and Write, with Leslie Lamport (← links)
- Thinking (← links)
- Paper/Time, Clocks, and the Ordering of Events in a Distributed System (← links)
- Video/Lamport on writing "Time, Clocks, and the Ordering of Events in a Distributed System" (← links)
- Mission/SoG Committee (← links)
- Science of Governance/Criteria (← links)
- Paper/The Byzantine Generals Problem (← links)
- Science of Governance/Criteria/Main Text (← links)
- System Design (← links)
- Video/"Systems that run forever self-heal and scale" by Joe Armstrong (2013) (← links)
- Abstract Specification of PKC (← links)
- Abstract Specification of PKC/Input (← links)
- Ns500:Specifying Systems (← links)