calculi for mobility, an overview of the programming languages that have been developed for mobile computation, and provide a comparative study.
"!#$ %% #&$&'(#&$) % +*-, ./012$
3
46587191:@?BADCFEGCH714DIKJL;MEN9OA 9PA QRESIUTWVXEYI Z AUENZS:[Q \ ] ^ ADCH4N_71EN9a` bSc-d[e1f1egDehji8dNc kDc lnm opeq8ersthjieuvgwg yx z{
|/w+x, z}$.~YH$ % /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+*} 2z} 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*}/Hw % *}/ 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·0se»qU¶¼µqUµ1hp·¶½º1¶qU¸jsj·we·0¹²¶he»¾uµ1r0¶sju0º1µ1r ¿ º¶qU¸tu¹r¹hjÀSmeu0ijÁ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µGmeu0ijÁÎeauµG¹rqU¶Ãj¹»²µÏÁmj¹»µ ·mtµ6·0µ1uq Æ ¯$°±ÇDÈw ÆÉ{Ê ³(г(°Ë®¹r[sjr0µ1iX¹h¡r0¹·sea·¹¶hjrÁmjµ1u0µDr¶½v·+ÁÎeauµN¹rGqU¶Ãj¹»²µcÑ+h ·mt¹²r rstu¼µoDÁµr0me»»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»µmear·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µNhe·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·sea»sjhtijµ1ur0·2eahjij¹hjÀN¶a½·mjµht¶·¹¶hN¶½º1¶q͸jsj·we·¹¶hÜearHÁµ1»»+c Ñ+hX·0mj¹r6r0sju¼µ1o ϾÁ µDrmea»²» ¸ju0¶¼ ¹ijµUeahX¶¼µ1u0¼p¹²µÁݶ½·mjµÍº$e»º1st»²¹½(¶uNqU¶Ãj¹»²¹·+opÏeah ¶¼µu¼p¹µ1ÁÖ¶a½·0mjµ8¸ju¶Àu2eaqUq͹}hjÀ8»ehjÀseÀµ1rS·mea·6me¼µ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ÀseÀµ[eÃjr0·u2eaº1·¹¶hjr¼p¹Õe ·mtµºe»º1sj»¹ ehtiUij¹rºsjrr·mjµGsjhjitµ1u»op¹hjÀ6ºwmea»»²µhjÀµ1rcpÑ+hU·0mjµ½(¶»»¶Á¹hjÀÏÁ µr0me»»¸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ÀseaÀµ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¹¶hea» u0µ1rµ$eauºwmmear ½(¶pº1sjr0rµ1iKea»¶hjÀS·mju0µ1µN¹hjijµ¸µ1htijµ1hp·[r0·u2eahjijr986½(sthjº1·¹¶he»+Ϻ1¶hjºsjuu0µ1hp·$Ï eahji8ij¹r·u0¹Ãjsj·µiKº1¶qU¸jst·¹hjÀc :¶Áµ¼µ1uhj¶hjµÚ¶½·mjµrµSqU¶pijµ1»r[eitµ1×pse·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