Analysis and Synthesis of Concurrent Sequential Programs
The paper presents analysis and synthesis procedures for a class of sequential programs. The procedures aid in the design of programs for parallel computer systems. In particular, the interactions of a given program with other programs or circuits in a system can be described precisely. The basis for the work is a model for parallel computer systems in which the operation of each component is described by a flow table and the components interact by changing values on interconnecting lines. The details of the model are discussed in another paper. The analysis procedure produces a flow table description of a program. In program synthesis, a flow table description is converted to a sequential program. Using flow table design procedures, a control program for the two-program mutual exclusion problem is produced. (Author).
What people are saying - Write a review
epor. is. work was supported in part. by. the. Joint. Services. ectronfc Programs. us. Army,. US. Navy, and. US,. ona. I. Aetona wtics and Space Adminis- ...
ntrs.nasa.gov/ archive/ nasa/ casi.ntrs.nasa.gov/ 19710001844_1971001844.pdf