Parallel algorithms for the single source shortest path problem

A note on two problems in connexion with graphs

E. Dijkstra · Numerische Mathematik · 1959 · 23.5K citations

Mathematical Programming, Graph Minor, Engineering +7

GRAPH THEORY WITH APPLICATIONS TO ENGINEERING AND COMPUTER SCIENCE

Narsingh Deo · Networks · 1975 · 1.3K citations

Engineering, Network Science, Graph Theory +5

Proving the Correctness of Multiprocess Programs

Leslie Lamport · IEEE Transactions on Software Engineering · 1977 · 1.1K citations

Informal Proofs, Engineering, Stepwise Refinement +22

Graph theory with applications to engineering and computer science

N.R. Malik · Proceedings of the IEEE · 1975 · 1K citations

Engineering, Network Science, Graph Theory +5

Formal verification of parallel programs

Robert Keller · Communications of the ACM · 1976 · 785 citations · Full text

Program Checking, Engineering, Verification +23