Go backward to
Derivatives and Derivation Trees
Go up to
Top
Go forward to
The Value-Passing Calculus
Examples of Derivation Trees
Partial
derivation tree
(E|F)
\
a
/
tau
((a.E + b.0) |
a
.
F)
\
a
\
b
(0 |
a
.
F)
\
a
a.X+b.Y
X
/
a
a.X+b.Y
\
b
Y
Behavioural equivalence
Two agent expressions are behaviourally equivalent if they yield the same
total
derivation trees
Author:
Wolfgang Schreiner
Last Modification: June 8, 1998