Nondeterminism and Guarded Commands
Programming Languages
2023-10-16 v1
Abstract
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.
Cite
@article{arxiv.2310.09004,
title = {Nondeterminism and Guarded Commands},
author = {Krzysztof R. Apt and Ernst-Rüdiger Olderog},
journal= {arXiv preprint arXiv:2310.09004},
year = {2023}
}
Comments
34 pages. This is authors' version of Chapter 8 of the book K.R. Apt and C.A.R. Hoare (editors), Edsger Wybe Dijkstra: His Life, Work, and Legacy, volume 45 of ACM Books. ACM/Morgan & Claypool, 2022