Author: Leslie Lamport
Publication Overview
Publication period start: 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.