Semantics of Unbounded Nondeterminism

Authors:
Ralph-Johan Back
Affiliations:
-
Venue:
Proceedings of the 7th Colloquium on Automata, Languages and Programming
Year:
1980

Citing 0
Cited 4

Countable nondeterminism and random assignment

Journal of the ACM (JACM)
Algebraic approaches to nondeterminism—an overview

ACM Computing Surveys (CSUR)
Denotational semantics of concurrency

STOC '82 Proceedings of the fourteenth annual ACM symposium on Theory of computing
The concept of nondeterminism: its development and implications for teaching

ACM SIGCSE Bulletin

Quantified Score

Hi-index	0.00

Visualization

Abstract