10 citations · 11 across the 8 of their papers we have counts for
1 paper · 1 filter
Krzysztof R. Apt, Ernst-Rüdiger Olderog
The purpose of this paper is to discuss the relevance of nondeterminism in computer science, with a special emphasis on Dijkstra's guarded commands language.