In academia, in industry, and in the commercial world, there is a widespread belief that computing science as such has been all but completed and that, consequently,…
Edsger W. Dijkstra
Author Archives
The structure of “THE”-multiprogramming system
A multiprogramming system is described in which all activities are divided over a number of sequential processes. These sequential processes are placed at various…
On-the-fly garbage collection: an exercise in cooperation
As an example of cooperation between sequential processes with very little mutual interference despite frequent manipulations of a large shared data space, a technique is…
Guarded commands, nondeterminacy and formal derivation of programs
So-called “guarded commands” are introduced as a building block for alternative and repetitive constructs that allow nondeterministic program components for…
Self-stabilizing systems in spite of distributed control
The synchronization task between loosely coupled cyclic sequential processes (as can be distinguished in, for instance, operating systems) can be viewed as keeping the…
Shape the Future of Computing
ACM encourages its members to take a direct hand in shaping the future of the association. There are more ways than ever to get involved.
Get Involved