Parallel recursive program schemes

Abstract

In the paper a notion of parallel program scheme is introduced. Interpretations of such schemes are defined in two steps: first, independently of instructions meaning, to each scheme a language over the set of all instructions is assigned; second, for a given interpretation of instructions, to each such a language a function is assigned, being the intended interpretation of the scheme. This construction allows to obtain a satisfactory interpretation of parallel components of recursive schemes. The parallel composition of languages is introduced and some properties of this notion are given. It is shown how the theory of recursive procedures can be extended to procedures containing parallel operations. An example shows an application of the above approach.