Report Number: CS-TR-70-171
Institution: Stanford University, Department of Computer Science
Title: A survey of models for parallel computing
Author: Bredt, Thomas H.
Date: August 1970
Abstract: The work of Adams, Karp and Miller, Luconi, and Rodriguez on
formal models for parallel computations and computer systems
is reviewed. A general definition of a parallel schema is
given so that the similarities and differences of the models
can be discussed. Primary emphasis is on the control
structures used to achieve parallel operation and on
properties of the models such as determinacy and equivalence.
Decidable and undecidable properties are summarized.