| 
|
Quote: a guarded command enables non-deterministic choice between several statements; errors or skips if none true
topics >
all references >
references a-b >
Topic:
non-deterministic processing
Quotation Skeleton
A guarded command enables a process to make … of the alternatives are possible in the current … exception [may be selection or repeated] Google-1 Google-2
Copyright clearance needed for quotation.
Topic: non-deterministic processing (19 items)