Dijkstra's guarded commands

Concept

A control-flow construct mentioned as being similar to Newsqueak's 'select' statement, but with communication as the primitive.

Mentioned in 1 video