Nondeterministic Functions and the Semantics of CSP

Hans Bekic. Nondeterministic Functions and the Semantics of CSP. In Cliff B. Jones, editor, Programming Languages and Their Definition - Hans Bekic (1936-1982). Volume 177 of Lecture Notes in Computer Science, pages 230-239, Springer, 1984.

Abstract

Abstract is missing.