E. Dijkstra

Publications274
h-index43
Citations46,002
Highly Influential Citations2,117
Claim Author Page
Author pages are created from data sourced from our academic publisher partnerships and public sources.

Recommended Authors

  • U. Schultz
  • 152 Publications • 1,517 Citations
  • Bogdan Vasilescu
  • 99 Publications • 3,684 Citations
  • Alexander Serebrenik
  • 269 Publications • 6,392 Citations
  • V. Filkov
  • 110 Publications • 5,071 Citations
  • Publications
  • Influence
A note on two problems in connexion with graphs
  • E. Dijkstra
  • Mathematics, Computer Science
    Numerische Mathematik
  • 1 December 1959
TLDR
A tree is a graph with one and only one path between every two nodes, where at least one path exists between any two nodes and the length of each branch is given.
View on Springer
A Discipline of Programming
View Paper
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 relation “the system is in a…
View on ACM
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 which at least the activity evoked, but…
View on ACM
Predicate Calculus and Program Semantics
TLDR
This text gives a self-contained foundation of predicate transformer semantics by making extensive use of the predicate calculus and shows how to cope unbounded nondeterminacy without using transfinite induction.
View on Springer
Solution of a problem in concurrent programming control
A number of mainly independent sequential-cyclic processes with restricted means of communication with each other can be made in such a way that at any moment one and only one of them is engaged in…
View on ACM
Notes on structured programming
TLDR
The final author version and the galley proof are versions of the publication after peer review that features the final layout of the paper including the volume, issue and page numbers.
Termination Detection for Diffusing Computations
View via Publisher
Cooperating sequential processes
This chapter is intended for all those who expect that in their future activities they will become seriously involved in the problems that arise in either the design or the more advanced applications…
View via Publisher
Co-operating sequential processes
TLDR
The final author version and the galley proof are versions of the publication after peer review that features the final layout of the paper including the volume, issue and page numbers.
...
...