8th Annual Symposium on Switching and Automata Theory (SWAT 1967) (1967)
Oct. 18, 1967 to Oct. 20, 1967
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/FOCS.1967.8
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.
F. L. Luconi, "Completely functional asynchronous computational structures," 8th Annual Symposium on Switching and Automata Theory (SWAT 1967)(FOCS), Texas, 1967, pp. 62-70.