Dijkstra's guarded command language

Dijkstra's guarded command language

(language)A language invented by Edsger Dijkstra ca. 1974.It introduced the concept of guards and committed choice nondeterminism (don't care nondeterminism). Described andused in ["A Discipline of Programming", E. Dijkstra, P-H1976].