Searching for authors named Leslie Lamport – sorted by Relevance.
-
Recursive Compiling and Programming Environments
- Recursive Compiling and Programming Environments SUMMARY Leslie Lamport 25 July 1984 1
- Add To MetaCart
-
On a "Theorem" of Peterson
- On a "Theorem" of Peterson Leslie Lamport SRI International 31 October 1984 1 Introduction In [2
- Add To MetaCart
-
Control Predicates are Better than Dummy Variables for Reasoning about Program Control
- LAMPORT Digital Equipment Corporation When explicit control predicates rather than dummy variables
- Cited by 8 (0 self) – Add To MetaCart
-
An Axiomatic Semantics of Concurrent Programming Languages
- Op. 69 An Axiomatic Semantics of Concurrent Programming Languages Leslie Lamport 19 September 1984
- Cited by 5 (3 self) – Add To MetaCart
-
Fairness and Hyperfairness
- Fairness and Hyperfairness Leslie Lamport 26 May 2000 Abstract The notion of fairness in trace
- Cited by 11 (0 self) – Add To MetaCart
-
Critique of the "Lake Arrowhead Three"
- Critique of the "Lake Arrowhead Three" Leslie Lamport Digital Equipment Corporation 20 March 1992
- Cited by 2 (0 self) – Add To MetaCart
-
Lower Bounds on Consensus
- Lower Bounds on Consensus Leslie Lamport Compaq Systems Research Center Mon 13 Mar 2000 [10
- Cited by 1 (0 self) – Add To MetaCart
-
Verification and Specification of Concurrent Programs
- Verification and Specification of Concurrent Programs Leslie Lamport 16 November 1993 To appear
- Cited by 10 (0 self) – Add To MetaCart
-
Buridan's Principle
- Buridan's Principle Leslie Lamport Digital Equipment Corporation Systems Research Center 31 October
- Cited by 4 (0 self) – Add To MetaCart
-
The Operators of TLA+
- Lamport d i g i t a l Systems Research Center 130 Lytton Avenue Palo Alto, California 94301 http
- Cited by 3 (0 self) – Add To MetaCart

