allocate
d: an imperative and functional action,
where d is a sort of cell. Represents implementation-dependent
choice and reservation of a cell of sort d.
- Indivisible. Commits and completes when there is an
unreserved cell of sort d. Fails otherwise.
- Reserves some cell of sort d.
- Gives the reserved cell.
receive
Y: a communicative and functional action,
where Y yields a sort of message. Represents waiting for a
message to arrive in the buffer. The usual form of Y is a
restriction such as a message [from Y1] [containing Y2],
where Y1, Y2 may yield sorts or individuals.
- Patiently waits for a message of the sort yielded
Y to arrive, then
commits and completes. Otherwise diverges.
- Chooses and gives any received message of the sort yielded by
Y.
- Removes the chosen message from the buffer.
OBS:This action is not implemented by the action interpreter.
subordinate
Y:
a communicative and functional action, where Y yields a
sort of agent. Represents offering a contract and ascertaining the
identity of the accepting agent. The usual form of Y is some agent.
- Fails only if the sort of agent yielded by Y is vacuous.
Commits otherwise. Completes after a contract with an agent of the
specified sort has been accepted. Diverges if the contract is never
accepted.
- On completion, gives the identity of the agent accepting the
contract.
- Offers a contract for an incorporated action that sends the
identity of the accepting agent to the offering agent, waits for a
message containing an abstraction (from the offering agent) and enacts
the abstraction.
OBS:This action is not implemented by the action interpreter.
A1 and then moreover A2: a basic and declarative hybrid combination of actions
A1, A2.
Like A1 and then A2 for control and transients, and like
A1 moreover A2 for bindings.
OBS:This action is not implemented by the action interpreter.
A1 then
moreover A2: a declarative and functional hybrid combination of actions
A
1, A2. Like A1 then
A2 for control and transients,
and like A1 moreover A2 for bindings.
OBS:This action is not implemented by the action interpreter.
A1 thence A2: a declarative and functional hybrid combination of actions
A1, A2. Like A1 then
A2 for control and transients, and like A1
hence A2 for bindings.
OBS:This action is not implemented by the action interpreter.
A1 then before A2: a declarative and functional hybrid combination of actions
A1, A2. Like A1 then
A2 for transients, and like A1
before A2 for bindings.
OBS:This action is not implemented by the action interpreter.
|