Go backward to Transition Graph
Go up to Top
Go forward to The Transition Rules
The Basic Language
- Agent expressions
- Agent constants and variables
- Prefix alpha.
- Summation sum
- Composition
- Restriction \
- Relabelling []
- No value transmission between agents
Wolfgang.Schreiner@risc.uni-linz.ac.at
Id: ccs1.tex,v 1.1 1996/06/05 15:04:53 schreine Exp schreine