BIB-VERSION:: CS-TR-v2.0 ID:: STAN//CS-TR-70-171 ENTRY:: November 06, 1995 ORGANIZATION:: Stanford University, Department of Computer Science TITLE:: A survey of models for parallel computing TYPE:: Technical Report AUTHOR:: Bredt, Thomas H. DATE:: August 1970 PAGES:: 62 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. NOTES:: [Adminitrivia V1/Prg/19951106] END:: STAN//CS-TR-70-171