Example of Execution

We have following expression as an example:

//test.amb

machine koon(0,0,0,0), est(1,1,1,1) ;

koon[ a[ out koon.in est.in c ] | b[] ] | est[ c[] ] ;

The first line expresses that machine ambients koon and est are available.

We start up machine ambients as follows:

**Fig 4:** Start up the Machine Ambient koon
$\includegraphics[width=10cm,keepaspectratio,clip]{run_koon.eps}$

**Fig 5:** Machine Ambient koon started
$\includegraphics[width=15cm,keepaspectratio,clip]{before_koon.eps}$

**Fig 6:** start up the Machine Ambient est
$\includegraphics[width=10cm,keepaspectratio,clip]{run_est2.eps}$

**Fig 7:** Machine Ambient est started
$\includegraphics[width=15cm,keepaspectratio,clip]{before_est.eps}$

We can monitor the first status of every machine ambients:

**Fig 8:** Main GUI
$\includegraphics[width=15cm,keepaspectratio,clip]{before_main.eps}$

Then, we can monitor the result of the migration:

**Fig 9:** Status of Ambient koon after the reduction
$\includegraphics[width=15cm,keepaspectratio,clip]{after_koon.eps}$

**Fig 10:** Status of Ambient est after the reduction
$\includegraphics[width=15cm,keepaspectratio,clip]{after_est.eps}$