加载中…
2023-10-13
Nondeterminism and Guarded Commands
Krzysztof R. AptErnst-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.
讨论
0讲解博客
生成讲解博客的中文版本
AI智能校验
生成AI智能校验的中文版本