An Example

Figure  and Figure  show an example of programming in additive interaction nets: Main agent sends an message, which is an integer, to PrintList agent. Print agent has a side-effect that outputs its argument. Two components in the goal may be located in two different machines. Note that guarded unification variable is used in an essential way.

  

Figure: a goal

  

Figure: a program