ThesaHelp: references cd
Topic: case statement
Topic: conditional control by guards
Topic: parallel algorithms
 
Reference
Dijkstra, E.W.,
"Guarded commands, nondeterminacy and formal derivation of programs", pp. 233242, in Yeh, R. (ed.),
Current Trends in Programming Methodologies: Volume 1, Software Specification and Design, PrenticeHall, 1977.
Google
Quotations
234 ;;Quote: given a guarded command set, if..fi errors if all false, do..od fails if all false
 234+;;Quote: given a guarded command set, if..fi and do..od executes exactly one of the true guards
 241 ;;Quote: Euclid's algorithm synchronizes two cyclic processes such that both variables remain positive

Related Topics
ThesaHelp: references cd (337 items)
Topic: case statement (25 items)
Topic: conditional control by guards (17 items)
Topic: parallel algorithms (15 items)
