Structured flowcharts for multiprocessing

Authors:
A.Toni Cohen;Leon S. Levy
Affiliations:
The Pennsylvania State University, Delaware County Campus, Media, Pennsylvania, U.S.A.;University of Delaware, Newark, Delaware, U.S.A.
Venue:
Computer Languages
Year:
1978

Citing 15
Cited 0

Legality and Other Properties of Graph Models of Computations

Journal of the ACM (JACM)
The Expression of Algorithms by Charts

Journal of the ACM (JACM)
On the Interconnection of Asynchronous Control Structures

Journal of the ACM (JACM)
An Algorithm for Structuring Flowgraphs

Journal of the ACM (JACM)
Multiprogramming Coordination

ACM Computing Surveys (CSUR)
Verifying properties of parallel programs: an axiomatic approach

Communications of the ACM
The new math of computer programming

Communications of the ACM
Flow diagrams, turing machines and languages with only two formation rules

Communications of the ACM
An algebraic system for process structuring and interprocess communication

STOC '76 Proceedings of the eighth annual ACM symposium on Theory of computing
On structuring flowcharts (Preliminary Version)

STOC '76 Proceedings of the eighth annual ACM symposium on Theory of computing
Proper termination of flow-of-control in programs involving concurrent processes

ACM '72 Proceedings of the ACM annual conference - Volume 2
Indeterminacy, monitors, and dataflow

SOSP '77 Proceedings of the sixth ACM symposium on Operating systems principles
A Comparison of Some Theoretical Models of Parallel Computation

IEEE Transactions on Computers
Analysis of structured programs

Journal of Computer and System Sciences
Proving assertions about parallel programs

Journal of Computer and System Sciences

Quantified Score

Hi-index	0.00

Visualization

Abstract

We present a flowchart language for parallel processing: in addition to the ''standard'' components, our flowcharts contain fork, join and synchronizing nodes. Extending the work of Mills, we suggest restrictions on controlling computation flow and show that any proper program can be algorithmically transformed to an equivalent structured program.