calculi for mobility, an overview of the programming languages that have been developed for mobile computation, and provide a comparative study.
"! #$ %% #&$& '(#&$) % +*-, ./01 2$
3
46587191:@?BADCFEGCH714DIKJL;MEN9 OA 9PA QRESIUTWVXEYI Z AUENZS:[Q \ ] ^ ADCH4N_ 71EN9a` bSc-d[e1f1e gDehji8dNc kDc lnm opeq8ersthji euvgwg yx z{
|/w+x, z}$.~Y H$ % /0a0*}/,pw/
Ny, * v / F , G/0, 1zFG/w+/w +x * )$&&G&$&!j 6w""|x*}*}H+*}/0 /2~1 +/0, /w+/w1yx6*-/w *}1,pH*-,NG1*-z}/ 2 %p *} , , % *} z}1HH/ % *}/ ,[1/*}/w xp/H11+*} 2 z} z-*p 1HG1*-z-* ~ ,N1$/0*}/wX xp/ % . $G*-, .z}1,p. $./w x x 1/ n/w/0,[/w/0z} % /wG 1 *-z}/2 %p *} , , % 1*}/H w % *}/ v ~ 1 x /Gz} , . .$/S *} , G*} x /Gw1z} z-* 1,p¡a*}+ + x / ,p/0+z}~*-, . +x z-z}/0, ./ww
¢
£¤¥n¦t§¨[©[ª¥j«0§ ¤
¬®¯°±²°³(´8ijµ hj¶·0µ1r6·0mjµD¸jmpopr¹º$ea» ¶uN¼p¹u·0s e»qU¶¼µ qUµ1hp·¶½º1¶qU¸jsj·we·0¹²¶h e»¾uµ1r0¶sju0º1µ1r ¿ º ¶qU¸tu¹r¹hjÀSm eu0ijÁeuµSehji8r¶a½(·+ÁeuµÂeº1u0¶rrNeS»¶pº$e»¶uÀ»¶Ãe»hjµ1·+Á ¶u0ÄcjÅmjµN·0µ1uq Æ ¯°±²ÇSÈw ÆÉ{Ê ³(°ËÌ͹²r sjr0µ1i8½(¶uµ1hp¼p¹u¶hjqUµ1hp·0rÁmjµ uµN·0mjµGm eu0ijÁÎeauµG¹rqU¶Ãj¹»²µÏÁmj¹»µ ·mtµ6·0µ1uq Æ ¯$°±ÇDÈw ÆÉ{Ê ³(г(°Ë®¹r[sjr0µ1iX¹h¡r0¹·s ea·¹¶hjrÁmjµ1u0µDr¶½v·+ÁÎeauµN¹rGqU¶Ãj¹»²µcÑ+h ·mt¹²r rstu¼µ oDÁµr0m e»»p½(¶pº1str¶hDqU¶Ãt¹²»µ º ¶qU¸tsj·2ea·¹¶h cÒÓ¹·0mDu2e¸t¹²iDeit¼ehjº1µ r¹hDÑ+hp·µ1uyÔ hjµ1··µ1ºwmjht¶»¶Ào Ïjeahji8·mjµ6e¼ea¹»ÕeaÃj¹»¹}·+oN¶a½¸¶Á µ1u+½(st»»Õea¸j·¶¸ehji8¸ ea»²qD·0¶¸Dº1¶qU¸jst·µ1u0r$Ï ·mtµNº1¶htº1µ1¸j·G¶½HqU¶Ãj¹»²¹·+oN¹rsjhtijµ1uÀ¶¹hjÀUeSq͵1·2eaqU¶u0¸jmj¶r¹rH½(u0¶qÖeSq͵1uµG·mtµ1¶u0µ1·¹º$ea» º1sju0¹¶r¹·+oG·¶Ã µ º1¶q͵F¶hjµ ¶a½ ·mjµµ1rr0µ1hp·¹e»puµ × st¹²u0µ1qUµ h ·0rH¶½jµ1¼µ uoGº1¶q͸jsj·0¹²htÀµ1hp¼ ¹u0¶hpÔ qUµ h ·cÅmjµ¸jmtµ1hj¶q͵1hj¶hN¶½qU¶Ãj¹»²¹·+o¶hDe[À»¶Ã ea» r0º$e»µm ear ·mtµ¸ ¶·µ1hp·¹ea»j¶½º$estr¹hjÀ Á¹ijµGu2eahjÀ¹hjÀNµ"Ø{µ1º ·r[¶hU·0mjµG¸ju2eaº1·¹º1µG¶½ º ¶qU¸tsj·¹hjÀc Ùtsju·0mjµ1uÏpà oD¸tu¶¼p¹ij¹hjÀ6eÚº1¶q Ô ¸j»µ1·0µ1»oUhjµ1ÁÛ¸ eau2eit¹²Àq=½(¶usjhtijµ1ur0·2eahjij¹hjÀD·mtµNh e·0sjuµG¶a½Fº1¶qU¸jsj·we·0¹²¶h Ϲ²·½(¶uº1µ1rsjr ·¶Gu0µ1º1¶htr¹ijµ1u ¶sjuHº1¶hjº1µ1¸t·s ea» sjhtijµ1ur0·2eahjij¹hjÀN¶a½ ·mjµht¶·¹¶hN¶½º1¶q͸jsj·we·¹¶hÜearHÁµ1»»+c Ñ+hX·0mj¹r6r0sju¼µ1o ϾÁ µDrm ea»²» ¸ju0¶¼ ¹ijµUeahX¶¼µ1u0¼p¹²µ Áݶ½·mjµÍº$e»º1st»²¹½(¶uNqU¶Ãj¹»²¹·+opÏ eah ¶¼µ u¼p¹µ1ÁÖ¶a½·0mjµ8¸ju¶Àu2eaqUq͹}hjÀ8»ehjÀs eÀµ1rS·m ea·6m e¼µUõ1µ1hÓitµ1¼µ1»¶¸ µ1iÞ½(¶u6qͶÃj¹»µ º1¶qU¸jsj·we·0¹²¶h Ïpehji͸ju¶¼p¹ijµeÚº1¶qU¸ eau2e·0¹¼µr·0sjijoͶ½F·0mjµG»ehjÀs eÀµ[eÃjr0·u2eaº1·¹¶hjr¼p¹Õe ·mtµºe»º1sj»¹ ehtiUij¹rº sjrr·mjµGsjhjitµ1u»op¹hjÀ6ºwm ea»»²µ hjÀµ1rcpÑ+hU·0mjµ½(¶»»¶Á¹hjÀ ÏÁ µr0m e»»¸ju¶aÔ ¼p¹ijµ[eÃju¹µw½ ij¹r0º1sjrr0¹¶hD¶½·mtµ[¼eu0¹¶sjrHº$ea»²º sj»¹p½(¶uHqͶÃj¹»¹·+oehti6·0mjµ1¹u µ1¼¶»sj·¹¶h Ïehji ·mtµNÁ¹ijµ1»oDsjrµ i¸ju¶ÀuweqUq͹hjÀ[»ehtÀs eaÀµ1r ½(¶uqͶÃj¹»µº1¶qU¸jsj·we·0¹²¶hD¸jsju0¸ ¶rµ1rc ßà G 1*-záp â+Pã *- 1 /ww *-, ä6å®å®åæápx +v% á çç1 ww *- 1 /2w *-,nçaè â+ ßß à G 1*-zájvx~Üã ww *- ²1 /ww *-, äDå®åKåÞáx +v% á çç 2w *- 1 /ww *-,jçèwvx~$ #$&&
'
"!#%$ $ & (*),+ª©-+0«/.$§ ¦10 §32[«4+0«+¥5
#&
ÒÓme·D¹r¡eah e¸j¸tu¶¸tu¹e·0µKeÃjr0·uweº1·8qU¶pijµ » ½(¶uÍqU¶Ãt¹²»µÍº1¶q͸jsj·2ea·¹¶h768ÅHu2eit¹²·0¹¶h ea» u0µ1rµ$eauºwmm ear ½(¶pº1sjr0rµ1iKea»¶hjÀS·mju0µ1µN¹hjijµ ¸ µ1htijµ1hp·[r0·u2eahjijr986½(sthjº1·¹¶h e»+Ϻ1¶hjº sjuu0µ1hp·$Ï eahji8ij¹r·u0¹Ãjsj·µ iKº1¶qU¸jst·¹hjÀ c :¶Áµ ¼µ1uhj¶hjµÚ¶½ ·mjµ rµSqU¶pijµ1»r[eitµ1×ps e·0µ1»o¡ºe¸j·0sjuµ1r ·0mjµr¹Àht ¹ ;º$ehp·H½(µe·stuµ1r¶a½{qͶÃj¹»µ º1¶qU¸jsj·we·0¹²¶= h A@c B8¶Ãj¹»µº1¶q͸jsj·2ea·¹¶hÚijµ1q¡eahjijr eahUµ1hp·¹u0µ1»oUhjµ1Á ¸eu2eaij¹Àq®c C hpsjqDõ1u¶a½ºe»º1sj»¹ me¼µNõ1µ1h®¸ju¶¸ ¶rµ1iB¶¼µ1u·mjµSoµ$eaur·¶Ur0·sjito¡º ¶hjº1stuuµ h · º1¶qU¸jst·2e·0¹¶h cbµ1Á º$ea»²º sj»¹[euµBà µ1¹hjÀXµ ¼¶»¼µ1iÞ½(u¶q ·mjµ rµÏ Á¹·m ·mtµ eaijij¹·¹¶h涽 hj¶·¹¶htr·0¶Dº$e¸j·0sjuµÜ½(µ$e·0sjuµ rer0r¶pº1¹e·0µ1iÁ¹·mÍqU¶Ãj¹»²µº ¶qU¸tsj·2ea·¹¶h c D hjµU¶a½[·mjµDµeu»¹µ1r0·YeaÃjr·0u2eº ·N½(uweq͵1Á¶uÄ8½v¶uNº1¶hjº1sju0uµ1hp·Dº1¶qU¸jst·¹hjÀ8ÁÎearN¸ju0¶Ô ¼p¹ijµ1iXÃpo C º1·0¶uE r
