Back

Behavior of ambients

When an ambient moves within an computer, ambient can exit and enter other ambients.  $$m[n[out m]] \xrightarrow{out m} m[] \mid n[]$$

Fig 1: Behavior of capability out

Before $n$ ambient executes the capability $out m$, it makes sure if its parent is $m$ ambient. Then, it exits $m$ and become the sibling of $m$.
 

 Back