On the composition of parallel program schemata
- 1 October 1971
- conference paper
- Published by Institute of Electrical and Electronics Engineers (IEEE)
- No. 02724847,p. 20-23
- https://doi.org/10.1109/swat.1971.21
Abstract
Theoretical properties of computer programs have been the object of considerable study in recent years. In this paper we consider the problem of joining - or composing - one program with another. We study basic properties of compositions within a theoretical model for parallel computation which is closely related to parallel program schemata. In particular, we introduce the notion of finishing schemata which have distinguished starting and ending states. A relation between parallel program schemata and finishing schemata is developed which allows one to carry over previous schemata results. Theorems describing closure properties and determinacy are then given for serial, concurrent and iterative composition of finishing schemata.Keywords
This publication has 4 references indexed in Scilit:
- On maximally parallel schemataPublished by Institute of Electrical and Electronics Engineers (IEEE) ,1970
- On formalised computer programsJournal of Computer and System Sciences, 1970
- Parallel program schemataJournal of Computer and System Sciences, 1969
- Parallel program schemata: A mathematical model for parallel computationPublished by Institute of Electrical and Electronics Engineers (IEEE) ,1967