Go backward to Examples of Derivation Trees
Go up to Top
Go forward to References
The Value-Passing Calculus
- Values passed between agents
- Can be reduced to basic calculus.
- := in().()
() := out().
- := sum in.
:= out. ( in )
- Families of ports and agents.
- The full language
- Prefixes , ()., tau.
- Conditional if then
- Translation
- => sum.{/}
- (). => .
- tau. => tau.
- if then
=> (, if and , otherwise)
Wolfgang.Schreiner@risc.uni-linz.ac.at
Id: ccs1.tex,v 1.1 1996/06/05 15:04:53 schreine Exp schreine