W DijkstraEdsger

发表

Guarded commands, nondeterminacy and formal derivation of programs

W DijkstraEdsger, 1975 .

Letters to the editor: go to statement considered harmful

W DijkstraEdsger, 1968 .

The humble programmer

W DijkstraEdsger, 1972 .

The structure of the THE-multiprogramming system

W DijkstraEdsger, 1968 .

Guarded commands, non-determinacy and a calculus for the derivation of programs

W DijkstraEdsger, 1975 .

Correctness concerns and, among other things, why they are resented

W DijkstraEdsger, 1975 .

Self-stabilizing systems in spite of distributed control

W DijkstraEdsger, 1974 .