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
.
E
Summation
sum
E
i
Composition
E
1
|E
2
Restriction
E
\
L
Relabelling
E
[
f
]
No value transmission between agents
Just synchronization.
Author:
Wolfgang Schreiner
Last Modification: June 8, 1998