Determinacy and maximal parallelism in a structured model of parallel computation

The main goal of this paper is the introduction, from a theoretical point of view, of a model specifically studied for the optimization of horizontal microprograms but well suited also to the analysis of microprocessor systems. Moreover, an approach to the design of well-structured and correct parallel programs is given by studying a subset of our schemes (complex structures) and applying to it existing techniques in order to give an algorithm for the maximization of parallelism.