Go backward to Bounded BufferGo up to TopGo forward to Example |

- Basic combinator '
*+*'*P+Q*behaves like*P*or like*Q*.- When one performs its first action, other is discarded.
- If both alternatives are allowed, selection is non-deterministic.

- Combining forms
- Summation
*P+Q*of two agents. - Sequencing
`alpha`.*P*of action`alpha`and agent*P*.

- Summation
- Different levels of abstractions
- Agent can be expressed directly in terms of its interaction with
environment (
*C*,`Buff`)._{n} - Agent can be expressed indirectly in terms of its composition of sammer
agents (
*C*).^{(n)}

- Agent can be expressed directly in terms of its interaction with
environment (

Author: Wolfgang Schreiner

Last Modification: June 8, 1998