[The basic time consuming action:] WHILE condition LET descriptors DEFINE variables; … All acting objects within a system may concurrently … specific moment of time is called the sets … [all with WHILE condition true]. The total set of variables that may be modified by … has (at any moment of time) to find … such a set of values does not exist … is chosen indeterministically.
Google-1
Google-2
Copyright clearance needed for quotation.