distinguished by arrows(triangles).</p>

<img src='../media/refs/in_cell.png' width='350'/>

<p>The examples on this page will make use of four agents: <b>Successor</b>(increments a natural number), <b>Zero</b>, <b>Add</b> & <b>Mul</b>.</p>

<img src='../media/refs/in_ari.png' width='475'/>

<h3 id='nets'>2. Interaction Nets</h3>

<p>A <b>net</b> is an undirected graph of agents where each port is connected to another one by means of a <b>wire</b>. The following net has three free ports, <i>x</i>, <i>y</i>,