Go backward to Derivatives and Derivation TreesGo up to TopGo forward to The Value-Passing Calculus |

- 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

- Two agent expressions are behaviourally equivalent if they yield
the same

Author: Wolfgang Schreiner

Last Modification: June 8, 1998