Go backward to A Simple Example
Go up to Top
Go forward to Behavior Descriptions
Behavior Descriptions
- Agent names can take parameters.
- Prefix in()
- Handshake in which value is received at port in and becomes the
value of variable .
- Agent expression in().
- Perform handshake and proceed according to definition of .
- Agent expression out().
- Output the value of at port out and proceed according to the
definition of .
- Scope of local variables:
- Input prefix introduces variable whose scope is the agent
expression .
- Formal parameter of defining equation introduces variable whose scope is
the equation.
Wolfgang.Schreiner@risc.uni-linz.ac.at
Id: ccs1.tex,v 1.1 1996/06/05 15:04:53 schreine Exp schreine