Author: Leslie Lamport

Publications

Co-authors

Alain J. Martin

1

Carel S. Scholten

1

Elisabeth F. M. Steffens

1

Productive Colleagues

Carel S. Scholten

1

Elisabeth F. M. Steffens

1

Edsger W. Dijkstra

7

Publications

Lamport, Leslie (1989): A Simple Approach to Specifying Concurrent Systems. In Communications of the ACM, 32 (1) pp. 32-45.

Lamport, Leslie (1981): Password Authentification with Insecure Communication. In Communications of the ACM, 24 (11) pp. 770-772.

Lamport, Leslie (1979): On the Proof of Correctness of a Calendar Program. In Communications of the ACM, 22 (10) pp. 554-556.

Dijkstra, Edsger W., Lamport, Leslie, Martin, Alain J., Scholten, Carel S., Steffens, Elisabeth F. M. (1978): On-the-Fly Garbage Collection: An Exercise in Cooperation. In Communications of the ACM, 21 (11) pp. 966-975.

Lamport, Leslie (1978): Time, Clocks, and the Ordering of Events in a Distributed System. In Communications of the ACM, 21 (7) pp. 558-565.

Lamport, Leslie (1977): Concurrent Reading and Writing. In Communications of the ACM, 20 (11) pp. 806-811.

Lamport, Leslie (1975): Multiple Byte Processing with Full-Word Instructions. In Communications of the ACM, 18 (8) pp. 471-475.

Lamport, Leslie (1974): The Parallel Execution of DO Loops. In Communications of the ACM, 17 (2) pp. 83-93.

Lamport, Leslie (1974): A New Solution of Dijkstra\'s Concurrent Programming Problem. In Communications of the ACM, 17 (8) pp. 453-455.