Completely Functional Asynchronous Computational Structures

The "computational schema" is introduced as a means for describing asynchronous, multiprocess computations. Communication constraints which guarantee determinacy of schema execution are developed, and an effective procedure for determining the equivalence of deterministic schemata is presented.