Theory of Parallel Programming. II. Survey of Formal Models
- 1 January 1976
- book chapter
- Published by Springer Nature
Abstract
No abstract availableThis publication has 31 references indexed in Scilit:
- Legality and Other Properties of Graph Models of ComputationsJournal of the ACM, 1970
- A scheduling philosophy for multiprocessing systemsCommunications of the ACM, 1968
- The structure of the “THE”-multiprogramming systemCommunications of the ACM, 1968
- Structuring of Parallel AlgorithmsJournal of the ACM, 1968
- One-Pass compilation of arithmetic expressions for a parallel processorCommunications of the ACM, 1967
- Models of Computations and Systems—Evaluation of Vertex Probabilities in Graph Models of ComputationsJournal of the ACM, 1967
- A note on “Program structures for parallel processing”Communications of the ACM, 1966
- Program structures for parallel processingCommunications of the ACM, 1965
- Procedure-oriented language statements to facilitate parallel processingCommunications of the ACM, 1965
- An Automatic Sequencing Procedure with Application to Parallel ProgrammingJournal of the ACM, 1961