Some Formal Properties of a Class of Non-Deterministic Program Schemata

Takayasu Ito. Some Formal Properties of a Class of Non-Deterministic Program Schemata. In Conference Record of 1968 Ninth Annual Symposium on Switching and Automata Theory, 15-18 October 1968, Schenectady, New York. pages 85-98, IEEE, 1968.

Abstract

Abstract is missing.