Nondeterminism and Guarded Commands
Voices Powered by
Connected to paperThis paper is a preprint and has not been certified by peer review
Nondeterminism and Guarded Commands
Krzysztof R. Apt, Ernst-Rüdiger Olderog
AbstractThe purpose of this paper is to discuss the relevance of nondeterminism in computer science, with a special emphasis on Dijkstra's guarded commands language.