Login
中文
Leslie Lamport
HIndex: 22
Follow
Share
I Know This Author
Publication
Citation
Affiliation
Research Interests
Anything in here will be replaced on browsers that support the canvas element
Logic
Correctness
Specification
Process management
Concurrency
Real-time computing
Formal methods
Proof theory
Model checking
Programming language
Fault tolerance
Temporal logic
Mutual exclusion
Operating system
Specification language
Temporal logic of actions
Concurrency control
Requirements analysis
Verification
Theory of computation
Formal specification
Model of computation
Verification and validation
Automated theorem proving
Information system
Co-author Map
More
Mentorship
More
Papers
Ranking by:
Time
Paper rank
Research Area:
All Area
Logic
Correctness
Specification
Process management
Concurrency
Real-time computing
Formal methods
Proof theory
Model checking
Programming language
Fault tolerance
Temporal logic
Mutual exclusion
Operating system
Specification language
Temporal logic of actions
Concurrency control
Requirements analysis
Verification
Theory of computation
Formal specification
Model of computation
Verification and validation
Automated theorem proving
Information system
Paper Recommendation
×
Match this author profile with one of the following researchers:
Author Name
Affiliation
Papers
Leslie Lamport
Massachusetts Institute Of Technology
141
Leslie Lamport
Ca Technologies
82
Leslie Lamport
Microsoft
8
Leslie Lamport
Sri International
5
×
Share to your followers
Submit