Determinacy of generalized schema

R.M. Karp and R.E. Miller's (1966) computation graphs have been widely studied because they are a useful abstraction of multiprocessor computation. A system has the determinacy property if whenever the same set of input streams are entered into the system, the resultant output is the same set of output streams. Karp and Miller showed that computation graphs have this property; N.S. Woo et al. (1984) showed that dataflow schema also have the property of determinacy. A more general model than either of the foregoing, called a multiple component system model (MCSM), is presently defined. It is proved that MCSMs have the determinacy property. Deadlocking is then defined, and some additional properties of deadlocking MCSMs are proved.<
>