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.

Id: ccs1.tex,v 1.1 1996/06/05 15:04:53 schreine Exp schreine