| 
|
QuoteRef: dijkEW_1977
topics >
all references >
ThesaHelp:
references c-d
Topic:
case statement
Topic:
conditional control by guards
Topic:
parallel algorithms
Reference
Dijkstra, E.W., "Guarded commands, nondeterminacy and formal derivation of programs", pp. 233-242, in Yeh, R. (ed.), Current Trends in Programming Methodologies: Volume 1, Software Specification and Design, Prentice-Hall, 1977. Google
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
ThesaHelp: references c-d (337 items)
Topic: case statement (25 items)
Topic: conditional control by guards (17 items)
Topic: parallel algorithms (15 items)