Concepedia

A new solution of Dijkstra's concurrent programming problem

Communications of the ACM · 1974 · 713 citations · 7 references

Open access

Concepts

Mathematical ProgrammingMutual Exclusion ProblemReliability EngineeringEngineeringSimple SolutionConcurrent ProgrammingConcurrency TheorySystems EngineeringParallel ProgrammingComputer ScienceSystem ReliabilityDiscrete MathematicsParallel ComputingCombinatorial OptimizationIndividual ComponentNew SolutionConcurrent SystemOperations Research

Abstract

A simple solution to the mutual exclusion problem is presented which allows the system to continue to operate despite the failure of any individual component.

References

7

The structure of the “THE”-multiprogramming system

Edsger W. Dijkstra · Communications of the ACM · 1968 · 1.1K citations · Full text

Engineering, System Programming, Verification +22

Solution of a problem in concurrent programming control

E. Dijkstra · Communications of the ACM · 1983 · 762 citations · Full text

Mathematical Programming, Independent Sequential-cyclic Processes, Engineering +14

Solution of a problem in concurrent programming control

E. Dijkstra · Communications of the ACM · 1965 · 680 citations · Full text

Mathematical Programming, Engineering, Concurrent Programming +7

Additional comments on a problem in concurrent programming control

Donald E. Knuth · Communications of the ACM · 1966 · 187 citations · Full text

Engineering, Program Analysis, Concurrent Programming +10

The structure of “THE”-multiprogramming system

Edsger W. Dijkstra · Communications of the ACM · 1983 · 176 citations · Full text

Engineering, System Programming, Verification +22