Behavior Descriptions

$C$ := in($x$).out($x$).$C$
$A$ := in($x$).in($y$).out($x$).out($y$).A

• How do behaviors differ?
  • $A$ inputs two values and outputs two values.
  • $C$ inputs and output a single value.

• Agent expression $C$^$C$.
  • Combinator $A$₁^$A$₂ (defined later).
  • Agent formed by linking out of $A$₂ to in of $A$₁.
  • ^ is associative.