Searching for authors named Leslie Lamport – sorted by Relevance.
84 documents found, showing 1 through 10.
Next 10 →
-
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
Showing 1 through 10.
Next 10 →
