Topic: asynchronous processing
Topic: concurrency
Topic: event controlled processing
Topic: non-deterministic processing
Topic: parallel control statements
Topic: waitfor condition in parallel processing
| |
Summary
A concurrent while is a guarded set of asynchronous processes. The statement terminates when the condition becomes false or when any of the processes issues an alert. It was developed for locomotive control of robots. (cbb 12/87)
Subtopic: concurrent while with termination
Quote: a concurrent while is concurrent processes terminated by an event [»donnMD_1987]
| Quote: a concurrent while is terminated by the alert mechanism [»donnMD_1987]
| Quote: preemption with alert simplifies the programming of asynchronous concurrent systems [»donnMD_1987]
| Subtopic: lexical scope for concurrent while
Quote: lexical scoping of process termination avoids problems of first class values for process names, e.g., concurrent while [»donnMD_1987]
| Subtopic: subprocess termination
Quote: an OWL concurrence terminates when all subprocesses terminate [»donnMD_1987]
|
Related Topics
Topic: asynchronous processing (30 items)
Topic: concurrency (33 items)
Topic: event controlled processing (46 items)
Topic: non-deterministic processing (19 items)
Topic: parallel control statements (12 items)
Topic: waitfor condition in parallel processing (20 items)
|