Structured flowcharts for multiprocessing☆
References (26)
Proving assertions about parallel programs
J. Comput. Syst. Sci.
(1975)Analysis of structured programs
J. Comput. Syst. Sci.
(1974)An algorithm for structuring flowgraphs
J. Assoc. Comput. Mach.
(1977)- et al.
The expression of algorithms by charts
J. Assoc. Comput. Mach.
(1972) - et al.
Structured Programming
(1972) - S. R. Kosaraju. On structuring flowcharts. Proc. 8th Ann. Assoc. Comput. Mach. Symp. on Theory of Computation. pp....
The new math of computer programming
Comm. Assoc. Comput. Mach.
(1975)- et al.
A computer capable of exchanging processors for time
- et al.
Indeterminacy, monitors and dataflow
- et al.
Legality and other properties of graph models of parallel computations
J. Assoc. Comput. Mach.
(1970)
A unified treatment of graph theoretic models for parallel computation
Cooperating sequential processes
On the interconnection of asynchronous control structures
J. Assoc. Comput. Mach.
(1975)
Cited by (4)
Reducibility of synchronization structures
1985, Theoretical Computer SciencePictures of programs and other processes, or how to do things with lines
1982, Behaviour and Information TechnologySoftware Design Representation Using Abstract Process Networks
1980, IEEE Transactions on Software EngineeringOn Folk Theorems
1980, Communications of the ACM
- ☆
Partially supported by NSF grant MCS 77-04834.
Copyright © 1978 Published by Elsevier Ltd.