scientific article; zbMATH DE number 3358004

zbMath0225.68010MaRDI QIDQ5632124

Ralph L. London

Publication date: 1971

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) General topics in the theory of software (68N01)

Related Items

On homomorphisms, correctness, termination, unfoldments, and equivalence of flow diagram programs