A survey of models for parallel computing
Data up to Jan 2025
Total Citations Per Year
Abstract
References (12)
The correctness of programs
1969 • 132 citations
Properties of Programs and the First-Order Predicate Calculus
1969 • 81 citations
FORMALIZATION OF PROPERTIES OF PARALLEL PROGRAMS
1970 • 67 citations
A computation model with data flow sequencing
1969 • 59 citations
Models of Computations and Systems—Evaluation of Vertex Probabilities in Graph Models of Computations
1967 • 50 citations
Parallel program schemata: A mathematical model for parallel computation
1967 • 42 citations
Experiments on Models of Computations and Systems
1967 • 41 citations
Models of Computational Systems-Cyclic to Acyclic Graph Transformations
1967 • 31 citations
On the equivalence and transformation of program schemes
1958 • 30 citations
Path Length Computations on Graph Models of Computations
1969 • 29 citations
Termination of algorithms
1968 • 27 citations
A model for parallel computer systems
1970 • 4 citations