Nondeterminism and Guarded Commands

Avatar
Krzysztof Apt
Poster
Voice is AI-generated
Connected to paperThis paper is a preprint and has not been certified by peer review

Nondeterminism and Guarded Commands

arXivPDF
Authors

Krzysztof R. Apt, Ernst-Rüdiger Olderog

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.

Follow Us on

0 comments

Add comment