Go backward to
A Simple Example
Go up to
Top
Go forward to
Behavior Descriptions
Behavior Descriptions
Agent names can take parameters.
Prefix
in
(
x
)
Handshake in which value is received at port
in
and becomes the value of variable
x
.
Agent expression
in
(
x
).
C'(x)
Perform handshake and proceed according to definition of
C'
.
Agent expression
out
(
x
).
C
Output the value of
x
at port
out
and proceed according to the definition of
C
.
Scope of local variables:
Input
prefix introduces variable whose scope is the agent expression
C
.
Formal parameter of defining equation introduces variable whose scope is the equation.
Author:
Wolfgang Schreiner
Last Modification: June 8, 1998