A Survey of Some Theoretical Aspects of Multiprocessing
ACM Computing Surveys (CSUR)
ACM Transactions on Programming Languages and Systems (TOPLAS)
CODE: A Unified Approach to Parallel Programming
IEEE Software
A proposal for certain process management and intercommunication primitives
ACM SIGOPS Operating Systems Review
A methodology for decomposing system requirements into data processing requirements
ICSE '76 Proceedings of the 2nd international conference on Software engineering
A Comparison of Some Theoretical Models of Parallel Computation
IEEE Transactions on Computers
| Hi-index | 0.00 |
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.