1980
Semantics of unbounded nondeterminism
Publication
Publication
Presented at the
European Conference on Numerical Mathematics and Advanced Applications (July 1980), Noordwijkerhout, The Netherlands
A program construct is proposed, for which the assumption of bounded nondeterminism is not natural. It is shown that the simple approach of taking the powerdomain of the flat cpo does not produce a correct semantics for programs in which nondeterminism is unbounded. The powerdomain approach is then extended to computation paths, resulting is an essentially operational semantics for programs of unbounded nondeterminism.
| Additional Metadata | |
|---|---|
| doi.org/10.1007/3-540-10003-2_59 | |
| European Conference on Numerical Mathematics and Advanced Applications | |
| Organisation | Centrum Wiskunde & Informatica, Amsterdam (CWI), The Netherlands |
|
Back, R.-J. (1980). Semantics of unbounded nondeterminism. In Lecture Notes in Computer Science/Lecture Notes in Artificial Intelligence (pp. 51–63). doi:10.1007/3-540-10003-2_59 |
|
