Search results for: Leslie Lamport
Lecture Notes in Computer Science > Theoretical Aspects of Computing - ICTAC 2009 > Invited Papers > 36-60
Lecture Notes in Computer Science > Correct Hardware Design and Verification Methods > Model Checking > 54-66
Lecture Notes in Computer Science > Formal Techniques in Real-Time and Fault-Tolerant Systems > 41-76
Lecture Notes in Computer Science > Correct Hardware Design and Verification Methods > Real Time and LTL Model Checking > 162-175
Lecture Notes in Computer Science > Distributed Computing > Exploring Gafni’s Reduction Land: From Ω k to Wait-Free Adaptive $(2p-\lceil\frac{p}{k}\rceil)$ -Renaming Via k-Set Agreement > 151-163
Lecture Notes in Computer Science > Stepwise Refinement of Distributed Systems Models, Formalisms, Correctness > 1-41
Lecture Notes in Computer Science > Formal Techniques for Networked and Distributed Systems - FORTE 2006 > Invited Talks > 23-23
Lecture Notes in Computer Science > Automated Reasoning > Verification > 142-148
Lecture Notes in Computer Science > Distributed Computing > Invited Lecture: Paxos Plus (Session 2a) > 211-224