A continuous semantics for unbounded nondeterminism
denotational semantic for programming languages
scientific article; zbMATH DE number 3786108
scientific article