Semantics and Termination of Nondeterministic Recursive Programs

J. W. de Bakker. Semantics and Termination of Nondeterministic Recursive Programs. In ICALP. pages 435-477, 1976.

Abstract

Abstract is missing.