Leslie Lamport

Personal Homepage
Employer
()
Email

Publication Statistics

Publication period start
1974
Publication period end
1989
Number of co-authors
4

Co-authors
Number of publications with favourite co-authors

Productive Colleagues
Most productive colleagues in number of publications

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.