Verification and Symbolic Test Generation for Safety Properties
Texte intégral
(2) INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE. Verification and Symbolic Test Generation for Safety Properties Vlad Rusu, Hervé Marchand, and Thierry Jéron. N˚5285 août 2004. ISSN 0249-6399. ISRN INRIA/RR--5285--FR+ENG. Systèmes communicants. apport de recherche.
(3)
(4)
(5) "!#%$& (')%* ,+-. +-/ 02134 %$ 5 68709;:=<>?<@BADCFE GIHKJ70E?L-M70N9@O70N9QPMRSCFE?E TQU0HFEWVIN XZY0[\]_^a`-[cb-de^f^DgihijkbmlFhn\[ oqp dFrs`_\tq` pu `wvx[ y lFzizd p \c{i` p `-b|&` p b |&`}h~Z ledei\F zlF`-[.
(6) mmi u |ijk[zlFz` p z p `-[`_hZ\[lb-de^ijhlF\jkdehdF` p jbmlF\jkdehlFh&{Qb-dehId p ^ lFh&b-` \`-[\jhi \`-b|ihijk¡Zg&`-[ ¢d p \|&` ¢d p ^ lF£elF£jk{&lF\jkdeh¤dF p `mleb_\j`K[Y0[\`_^a[w¥§¦¨d p ^ lF£[z`-b_jbmlF\jkdeh©dFªl«[YI[\`_^¬DlFh3jhizigi\s¬®degi\zigi\ lFgi\de^ lF\deh3¯j\|Ql p j°lFi£k`-[\|lF\D^ l-Y p lFhi`dm` p jhI&hij\`{ide^ lFjh&[D¬cjk[ le[[gi^a`-{±¥#¦{i{Ij\jkdehlF££Y²ql [ `_\DdF [ l¢`_\®Y3z p dez` p \jk`-[f¢d p \|&` [z`-b_jbmlF\jkdeh³l p ` j`_h´gih&{i` p \|&` d p ^µdFde&[` p ` p [{i`-[b p j*`-{´jh©\|&` [ lF^a` ¢d p ^ lF£jk[^¶¥ u |&`_hB²B`mleb|Qz p dez*` p \·Y«jk[` p j`-{§deh§\|&`f[z*`-b_jbmlF\jkdeh;g&[jhilFgi\de^ lF\jkba\`-b|ihijk¡Zg&`-[¸`¥ &¥²
(7) lFI¬ [\ p leb_\fjhZ\` p z p `_\ lF\jkdeh¹\|lF\ l p `#[degih&{igi\ h&de\fh&`-b-`-[[ l p j£Yºb-de^fzi£k`_\`K¢d p \|&`b_£°le[[ dFª[ l¢`_\®Y;z p dez` p \jk`-[ b-deh&[jk{i` p `-{¶|&` p `¥q»ª`?¼0\m²0¢d p `mleb| z p dez` p \®Y²l \`-[\bmle[`jk[clFgi\de^ lF\jkbmlF££Y#`_h&` p lF\`-{ p de^\|&`=[z*`-b_jbmlF\jkdeh lFh&{\|&`#z p dez` p \®YlFh&{jk[ `?¼i`-b_gi\`-{¤deh¤l«i£°leb ½n¬¾d-¼j^fzi£k`_^a`_hn\ lF\jkdeh¿dF\|&`K[Y0[\`_^ ¥§À®c\|&`K` p jbmlF\jkdeh [\`_z¯xle[ [g&b-b-`-[ [s8gi£¾²/\|lF\jk[m²/j\|le[`-[\ lFi£jk[|&`-{\|lF\\|&`[z*`-b_jbmlF\jkdeh3[ lF\jk[s`-[\|&`z p dez*` p \·Y²\|&`_h\|&` \`-[\x`?¼I`-b_gi\jkdeh#^ lmYa{i`_\`-b_\Á\|&`Zjkde£°lF\jkdeh#dFB\|&`z p dez` p \®Y nYa\|&`cj^fzi£k`_^a`_hn\ lF\jkdeh¶lFh&{\|&`c0jkde£°lF\jkdehKdFB\|&` [\ lFh&{&l p {fÂ8à Ãfb-dehI¢d p ^ lFh&b-` p `_£°lF\jkdeh#ÄÅmÆI`_\®¯Á`-`_hfj^fzi£k`_^a`_hZ\ lF\jkdehlFh&{[z*`-b_jbmlF\jkdehB¥qÇh\|&`de\|&` p |lFh&{±² j\|&`f` p jbmlF\jkdeh[\`_zQ{Ijk{§h&de\b-deh&b_£g&{i`«¸8j¾¥È`¥²Bj\{Ijk{;h&de\lF££kdw¯}\dz p dw` d p \d {Ijk[z p dm`a\|&`az p dez*` p \·Yi¹?² \|&`_h \|&`=\`-[\`?¼I`-b_gi\jkdeh«^ l-Yle{i{Ij\jkdehlF££Y {i`_\`-b_\l 0jkde£°lF\jkdeh¶dF\|&`z p dez*` p \·Y#nYK\|&`=[z`-b_jbmlF\jkdehB¥ u |&`ajhId p ^ lF\jkdeh&[ lF*degi\\|&` p `_£°lF\j`¶¸8jh¹Éb-deh&[jk[\`_h&b_jk`-[*`_\·¯Á`-`_h[z*`-b_jbmlF\jkdehB²
(8) j^fzi£k`_^a`_hn\ lF\jkdehB²%lFh&{ z p dez` p \jk`-[ql p ` p `_z*d p \`-{\dª\|&`Êg&[` p le[/\`-[\/` p {Ijkb_\[m¥ u |&`lFziz p dleb |fjk[/j££g&[\ p lF\`-{ deh\|&`Ë yco z p de\d0b-de£ÄÍÌÆ®¥ ÎÏnÐÑÒ Ã Ó/ [Y0^Dde£jkb` p jbmlF\jkdehB²b-dehI¢d p ^ lFh&b-`=\`-[\jhi&²&[Y0^Dde£jkb\`-[\`_h&` p lF\jkdeh. ÔÕBÖ·×®ØmÙÖÚBÛ׾ܢÝ-Þ Unité de recherche INRIA Rennes IRISA, Campus universitaire de Beaulieu, 35042 RENNES Cedex (France) Téléphone : 02 99 84 71 00 - International : +33 2 99 84 71 00 Télécopie : 02 99 84 71 71 - International : +33 2 99 84 71 71.
(9)
(10) *,/ % µ. *%$i $ $=¨ %$ 4 %$ 44* / %$ ¨$
(11) */ vx`_\%l p \jkb_£k`Áz p [ `_hn\`gih&`xb-de^DijhlFjk[deha{i`x\`-b|ihijk¡Zg&`-[%{i`x _p jbmlF\jkdehf`_\{i`Á\`-[\{i`b-dehId p ^fj\ zdeg p £°l¶ _ p jbmlF\jkdeh¤{i`[Y0[\]_^a`-[ p leb_\j¢[m¥«¦¨zl p \j p { gih&`#[z b_jbmlF\jkdehQ¢d p ^a`_££k`#{ gih[YI[\]_^a` p leb_\js² { b p j\Ê[ deg&[£°l¢d p ^a`{ gih lFgi\de^ lF\` `_hZ\ p `-[s¬®[d p \jk`-[ \`_h&{Iglm`-b{i`-[%l p j°lFi£k`-[%z*d p \ lFhZ\q[g p {i`-[%{ide^ lFjh&`-[ &hijk[degºjhI&hijk[w²/`_\{ gihde&[ ` p elF\`_g p ¸{ b p j\{&lFh&[£k`a^_ ^a` ¢d p ^ lF£jk[^a`w¹zdeg p gih&`z p dez p j \ {i` [ p `_\ ² £°l¶z p `_^fjk] p ` \ lFz`Kb-deh&[jk[\` _ p j` p lFgi\de^ lF\jk¡ng&`_^a`_hZ\a£°lz p dez p j \ [g p £°l [z b_jbmlF\jkdeh3zl p {i`-[\`-b|I¬ hijk¡Zg&`-[ÊlFziz p d0b| `-[¸ª le[ `{ jhn\` p z p `_\ lF\jkdehlF&[\ p lFj\`w¹/¡ngij&[ dehn\qb-deh&[` p lF\j`-[qzdeg p £°lb_£°le[[`{i`z p dez p j \ [ b-deh&[jk{ _ p `¥% h&[gij\`²gih3bmle[{i` \`-[\`-[\lFgi\de^ lF\jk¡Zg&`_^a`_hn\f h _ p `_\`?¼ b_gi\ [g p gih&` j^fzi£ ^a`_hZ\ lF\jkdeh d!k\`?¬¾h&dej p `f{Ig [Y0[\]_^a`¥DXZj/£°l _ p jbmlF\jkdehQlaz` p ^fjk[{ \ lFi£j p ¡ng&`£°lz p dez p j \ `-[\[ lF\jk[s¾lFj\`Dzl p £°l[z ¬ b_jbmlF\jkdehB²*£"È `?¼ b_gi\jkdeh«{Ig«bmle[{i`=\`-[\cz*`_gi\ª{ \`-b_\` p {i`-[Zjkde£°lF\jkdeh&[ª{i`£°lfz p dez p j \ zl p £" j^fzi£ ^a`_hZ\ lF\jkdeh `_\$F# deg©£°l«0jkde£°lF\jkdeh´{i`#£°l p `_£°lF\jkdeh´{i`b-dehI¢d p ^fj\ Â8à à ÄÅmÆc`_hn\ p ` j^fzi£ ^a`_hn\ lF\jkdeh¿`_\a[z b_jbmlF\jkdehB¥%% h p `_lFh&b|&`²±[j/£°l _ p jbmlF\jkdeh§h&Í lazle[ªz` p ^fjk[{ \ lFi£j p [j
(12) £°l [z b_jbmlF\jkdeh§[ lF\jk[s¾lFj\ª£°laz p dez p j \ deg h&deh¤¸b-` ¡ZgijIz*`_gi\ql pp j` p `_h z p lF\jk¡ng&`zdeg p {i`-[%[Y0[\]_^a`-[/jhI&hijk[W¹?²£"È `?¼ b_gi\jkdehf{Igfbmle[%{i`x\`-[\
(13) z`_gi\m²`_h zi£g&[m²{ \`-b_\` p £°lDZjkde£°lF\jkdeh#{i`£°l=z p dez p j \ zl p £°l=[z b_jbmlF\jkdehB¥(B' `-[ÁjhId p ^ lF\jkdeh&[lFjh&[jdei\`_hng&`-[[g p £k`-[xb-de^fz*d p \`_^a`_hZ\[ p `_£°lF\j¢[{i`D£°lK[z b_jbmlF\jkdehB²±{i`£" j^fzi£ ^a`_hn\ lF\jkdehB²
(14) `_\{i`£°lz p dez p j \ [dehn\ p `_\deg p h `-[) £" gi\j£jk[ lF\`_g p [deg&[ £°l¢d p ^a`{i`` p {Ijkb_\[{i`\`-[\m¥('(Í lFziz p d0b|&``-[\j££g&[\ p `=[g p £k`z p de\dZb-de£k`=Ë yo ÄÍÌFÆO{i` o |ij££jz&[w¥ * Ã m Ñ ,+ _ p jbmlF\jkdeh«[YZ^*de£jk¡Zg&`²i\`-[\{i`=b-dehI¢d p ^fj\ ²i h _ p lF\jkdeh {i`\`-[\[[Y0^Dde£jk¡Zg&`-[.
(15) O 6 d p ^ lF£i` p jbmlF\jkdehKlFh&{b-dehI¢d p ^ lFh&b-`\`-[\jhi=l p `x\®¯xd¯Á`_££¬®`-[\ lFi£jk[|&`-{ lFziz p dleb|&`-[%d p lF£jk{&lF\jhi=[dF8\·¯xl p ` [YI[\`_^a[m¥%Ëde\|«lFziz p dleb |&`-[b-deh&[jk[\jh¶b|&`-b ½Zjhi\|&`b-deh&[jk[\`_h&b_YdF\®¯Ád p `_z p `-[`_hn\ lF\jkdeh&[ªdFql [Y0[\`_^87 9 d p ^ lF£±` p jbmlF\jkdeh \®Y0zijkbmlF££Yb-de^fzl p `-[lFh¶dez` p lF\jkdehlF£
(16) [z*`-b_jbmlF\jkdeh¶dF\|&`=[YI[\`_^¯j\| p `-[z*`-b_\\d [de^a`|ij|&` p ¬¾£k`_`_£ p `-¡Zgij p `-{z p dez` p \jk`-[m² 9 b-dehId p ^ lFh&b-`\`-[\jhi ÄÍI²
(17) Å?Æb-de^fzl p `-[ª\|&`de&[` p lFi£k`=`_|l-0jkdeg p dFÁlfi£°leb ½n¬¾d-¼¶j^fzi£k`_^a`_hZ\ lF\jkdeh;dF \|&`[YI[\`_^ ²I¯j\| \|&`=b-d pp `-[zdeh&{Ijhia`_|l-0jkdeg p {i`-[b p j`-{ZY#lFh¶dez` p lF\jkdehlF£O[z`-b_jbmlF\jkdehB¥ vxdehI¢d p ^ lFh&b-`c\`-[\jhiDjk[q\·YZzijkbmlF££Y z*` p ¢d p ^a`-{aZYflFgi\de^ lF\jkbmlF££YK{i` p jZjhi :#" ; "-#" p de^}\|&`c[z*`-b_jbmlF\jkdehB² lFh&{QnY p gihihijhi \|&`a\`-[\Dbmle[ `-[DdehQ\|&` j^fzi£k`_^a`_hn\ lF\jkdeh3\d¶dei\ lFjh :#") &<=),- >" lFdegi\D\|&`ab-dehI¢d p ^ lFh&b-` `_\®¯x`-`_h¶\|&`\·¯Ád p `_z p `-[ `_hn\ lF\jkdeh&[ªdF/\|&`=[Y0[\`_^ Ä 3 ² ?I²OÅmI²±AÅ @I²±ÅmI²BÅmÌÆ®¥ 6 d p `?¼ilF^fzi£k`²ªjh.ÄÅmÆ®²`_hngi^a` p lF\j`Q^adZ{i`_£¬®b |&`-b½0jhi³lF£d p j\|i^a[ l p `§`_^fzi£kdmY`-{ ¢d p `_h&` p lF\jhi©\`-[\ bmle[`-[K p de^ lFh dez*` p lF\jkdehlF£=[z`-b_jbmlF\jkdeh lFh&{ [dF¬®bmlF££k`-{ :#") B1CDE1F"-#" le[gijk{i`_£jh&`-[d p \`-[\[`_£k`-b_\jkdehB¥ u `-[\f`_h&` p lF\jkdeh©b-deh&[jk[\[ jh¤`?¼Izi£kd p jhiQl¶z p d0{Ig&b_\ *`_\·¯Á`-`_h´[z*`-b_jbmlF\jkdeh´lFh&{\`-[\ zig p zd[`²q`_£j^fjhlF\jhi h&deh&{i`_\` p ^fjhijk[^ ²lFh&{3jh&b-d p zd p lF\jhi;` p {Ijkb_\[fjhZ\d \|&` p `-[gi£H\ GlFh&{º\|&`#`_h&` p lF\`-{©\`-[\fbmle[`-[fb|&`-b ½\|&` b-dehI¢d p ^ lFh&b-`Ê`_\®¯x`-`_h\|&`Êj^fzi£k`_^a`_hn\ lF\jkdehalFh&{=\|&`Êzl p \
(18) dFi\|&`Ê[z*`-b_jbmlF\jkdeh[`_£k`-b_\`-{=ZY\|&`q\`-[\Bzig p zd[`-[m¥ ¦hlF£\` p hlF\j`lFziz p dleb|jk[±z p dezd[`-{=jh ÄÅmÆ®¥ y lF\|&` p \|lFhD`?¼0zi£kd p jhi\|&`¸8£°l p `²Fd p zde\`_hn\j°lF££Y=jhI&hij\`w¹ [\ lF\`f[zleb-`dFx\|&`z p dZ{Ig&b_\`_\®¯x`-`_h;\`-[\zig p z*d[ ` lFh&{§[z*`-b_jbmlF\jkdehB²±\|&` z p d0{Ig&b_\jk[ª½`_zi\jh;l#[YZ^*de£jkb ¢d p ^ ¥ u |&` p `-[gi£\jhi\`-[\xbmle[`-[l p ` p `mleb_\j`z p de p lF^a[\|lF\xdez` p lF\`dehK[YZ^*de£jkbel p j°lFi£k`-[w²IlFh&{#`?¼ib|lFhi` lF£g&`-[¯j\|\|&`j^fzi£k`_^a`_hZ\ lF\jkdeh«ZY#^a`mlFh&[cdFjhizigi$\ #Fdegi\zigi\ªleb_\jkdeh&[cbml pp Y0jhi [Y0^Dde£jkbzl p lF^a`_\` p [m¥ À·h¤ÄHÅ ?Æ®²¯Á`z p dezd[`\djhZ\`_ p lF\` \|&`` p jbmlF\jkdehQdFÁ[ l¢`_\®Y«z p dez*` p \jk`-[=lFh&{ b-dehI¢d p ^ lFh&b-` \`-[\jhi#jh§l ¢d p ^ lF£BlF£jk{&lF\jkdeh ^a`_\|&dZ{ide£kdeY#¢d pp `mleb_\j`=[YI[\`_^aH[ 7 9 p [\m²I\|&`=[ l¢`_\®YKz p dez` p \jk`-[l p `DlFgi\de^ lF\jkbmlF££Y` p j`-{ deh¶\|&`[z*`-b_jbmlF\jkdeh«nYK^adZ{i`_£
(19) b|&`-b½0jhi&² 9 \|&`_hB²i\`-[\bmle[`-[l p `DlFgi\de^ lF\jkbmlF££Y {i` p j`-{# p de^ \|&`[z`-b_jbmlF\jkdeh lFh&{#\|&`z p dez` p \jk`-[m² 9 &hlF££Y²i\|&`\`-[\bmle[`-[l p ``?¼I`-b_gi\`-{ deh\|&`=i£°leb½Z¬¾*dm¼#j^fzi£k`_^a`_hZ\ lF\jkdeh dF\|&`[YI[\`_^ ²I¯|ijkb| lF££kdm¯[ \dab|&`-b ½ \|&`D[WlF\jk[s¢leb_\jkdeh dFq\|&`=z p dez` p \jk`-[cZY\|&`=j^fzi£k`_^a`_hZ\ lF\jkdehQlFh&{ \|&`Db-dehI¢d p ^ lFh&b-`*`_\·¯Á`-`_h j^fzi£k`_^a`_hn\ lF\jkdeh§lFh&{ [z`-b_jbmlF\jkdehB¥ u |&`z p `-[`_hn\qzlFz` p z p dezd[`-[Êlª[Y0^Dde£jkbclFziz p dleb|a\|lF\Á`?¼0\`_h&{i[ÄHÅ ?Æ®²` p Y^g&b| £j½`ÄÅmeÆi`?¼I\`_h&{i[ÄÅmF:Æ 7 9 \|&`` p jbmlF\jkdeh lFh&{\|&`=\`-[\`_h&` p lF\jkdeh«[\`_z&[l p `=[Y0^Dde£jkb² p lF\|&` p \|lFh¶`_hZgi^a` p lF\j
(20) ` G 9 [ l¢`_\®YKz p dez*` p \jk`-[m² p lF\|&` p \|lFh \`-[\zig p zd[`-[m²l p ``_^fzi£kdwY`-{¢d p \`-[\`_h&` p lF\jkdehB¥ ¦¿^ lrsd p {IJj I` p `_h&b-``_\®¯x`-`_h«ÄHÅ ?FÆlFh&{a\|ijk[%zlFz*` p b-deh&b-` p h&[q\|&`{i`-b_jk{&lFij£j\·YadF*\|&`` p jbmlF\jkdehK[\`_zB¥À®hf\|&` &hij\`?¬®[\ lF\`ª p lF^a`_¯Ád p ½#dFxÄHÅ ?Æ®²I\|&`ª` p jbmlF\jkdehjk[{i`-b_jk{&lFi£k`=lFh&{Kjk[z` p d p ^a`-{KnY^adZ{i`_£±b |&`-b½0jhi&¥ÊÀ·hK\|&` z p `-[`_hZ\ p lF^a`_¯xd p ½ \|lF\b-deh&[jk{i` p [jhI&hij\`?¬®[\ lF\`[Y0[\`_^a[lFh&{Kz p dez*` p \jk`-[w²Z\|&`ª` p jbmlF\jkdehjk[xgih&{i`-b_jk{&lFi£k
(21) ` G j\ªjk[ªz*` p ¢d p ^a`-{¶g&[jhi#lFgi\de^ lF\jkb\`-b|ihijk¡Zg&`-[le[`-{ deh lF&[\ p leb_\ªjhZ\` p z p `_\ lF\jkdeh§\|lF\l p `[degih&{ igi\m²le[l z p jkb-`\dfzl-Y#¢d p lFgi\de^ lF\jkdehB²±l p `Dh&de\ch&`-b-`-[[ l p j£Yb-de^fzi£k`_\`Dd p \|&`Db_£°le[[dFq[ l`_\·Yz p dez*` p \jk`-[ªb-deh&[jk{i` p `-{ |&` p `¥ À®\|&` ` p jbmlF\jkdeh3[g&b-b-`-`-{i[m²\|&`_hB²/\|&` z p dez*` p \·Y;jk[[WlF\jk[s`-{;ZY§\|&` [z`-b_jbmlF\jkdeKh GÊde\|&` p ¯jk[`²\|&` [\ lF\g&[dF\|&`az p dez` p \®Y§jk[Dgihi½Zh&dw¯hB²qlFh&{;\|&`f\`-[\`_h&` p lF\jkdeh3lF£d p j\|i^2|le[=\d¶\ lF½`a\|ijk[jhn\d leb-b-degihn\m¥ L `_h&b-`²\|&`x\`-[\%`?¼I`-b_gi\jkdehfz p d0{Ig&b-`-[` p {Ijkb_\[m²n¯|ijkb|f^ l-Y p `_`mlF£&deh&`d p [`_` p lF£idF\|&`Áde££kdw¯jhi=[j\glF\jkdeh&H[ 7 9 Zjkde£°lF\jkdeh«dF/\|&`z p dez` p \®YZY\|&`=[z*`-b_jbmlF\jkdehB² 9 Zjkde£°lF\jkdeh«dF/\|&`z p dez` p \®YZY\|&`j^fzi£k`_^a`_hZ\ lF\jkdehB² 9 Zjkde£°lF\jkdeh«dFb-dehI¢d p ^ lFh&b-`=`_\®¯x`-`_h¶j^fzi£k`_^a`_hn\ lF\jkdeh§lFh&{ [z`-b_jbmlF\jkdehB¥ 4. 5. MNMPOQ-RS#TR.
(22) u |&` jhI¢d p ^ lF\jkdeh dei\ lFjh&`-{ jh¿\|ijk[#^ lFhih&` p ^ lmY´`«`_^fzi£kdwY`-{ ¢d p {i`_\`-b_\jhi¿lFh&{¿i¼Ijhi¤` pp d p [#jh³\|&` [z`-b_jbmlF\jkdehB²Z\|&`j^fzi£k`_^a`_hn\ lF\jkdehB²id p \|&`z p dez` p \®Y¥ u |&`` p jbmlF\jkdehlFh&{a\`-[\jhiD[\`_z&[q^ lmYf*` p `_z*`mlF\`-{±² gihZ\j£
(23) [g b_jk`_hZ\b-dehI{i`_h&b-`jk[nlFjh&`-{ lF*degi\\|&`Db-deh&[jk[\`_h&b_YdF/\|&`\| p `-` p `_z p `-[`_hn\ lF\jkdeh&[m¥ u |&` p `-[\OdFi\|&`ÊzlFz*` p jk[Od p nlFhijk[`-{ le[±¢de££kdm¯[m¥%X0`-b_\jkdehfz p `-[`_hn\[/\|&`Ê^adZ{i`_£0dFiÀ·hizigi\s¬ÉÇgi\zigi\qXZYZ^*de£jkb uOp lFh&[j\jkdehXZY0[\`_^a[¸ÀÇX u Xi¹O\|lF\
(24) ¯x`xg&[`q¢d p ^adZ{i`_£jhi=lF££ile[z*`-b_\[/dF*l[YI[\`_^¨¸[z*`-b_jbmlF\jkdeh&[m²ez p dez` p \jk`-[m² j^fzi£k`_^a`_hZ\ lF\jkdeh&[m²lFh&{\`-[\abmle[`-[W¹?¥º¦ch¤`?¼&lF^fzi£k`;¸8\|&`[`_h&{i` p dF\|&`Ë yco z p de\d0b-de£=ÄÍÌÆ8¹j££g&[\ p lF\`-[f\|&` ^ad0{i`_£¾¥
(25) À·h X0`-b_\jkdeh 3 ¯x`Á{i`?&h&`Á[`_` p lF£I[YZ^*de£jkbÁdez*` p lF\jkdeh&[dehÀsÇX u X*²w\de`_\|&` p ¯j\|[de^a`%¾lFj p £Y=[\ lFh&{&l p { {i`?&hij\jkdeh&[ p `_£°lF\j` \dº` p jbmlF\jkdeh lFh&{ b-dehId p ^ lFh&b-`§\`-[\jhi¤g&[jhi¤ÀsÇX u X le[K\|&` gih&{i` p £Y0jhi¤^adZ{i`_£¾¥ X0`-b_\jkdeh jk[ª{i`_de\`-{¶\d{i`?&hijhi#l [Y0^Dde£jkb=\`-[\`_h&` p lF\jkdeh§lF£d p j\|i^ \|lF\ª\ lF½`-[ªl [z*`-b_jbmlF\jkdeh§lFh&{«l [ l¢`_\®Yz p dez*` p \·Y²lFh&{#z p d0{Ig&b-`-[l\`-[\bmle[`d p b|&`-b ½Zjhi \|&`b-dehId p ^ lFh&b-`dF%lFhj^fzi£k`_^a`_hn\ lF\jkdeh¶¯j\|\|&` [z`-b_jbmlF\jkdehB²lFh&{=\|&`Á[ lF\jk[s¾leb_\jkdehDdF&\|&`q[ l¢`_\®Yz p dez` p \®YZY\|&`qj^fzi£k`_^a`_hZ\ lF\jkdehB¥%¦[
(26) {Ijk[b_g&[[`-{DlFdm`²e\|&` \`-[\xbmle[`^ lmY lF£k[dD{i`_\`-b_\ÁZjkde£°lF\jkdeh&[xdF±\|&`z p dez` p \®YfnYf\|&`[z`-b_jbmlF\jkdehB¥ u |&`\`-[\q`_h&` p lF\jkdehlF£d p j\|i^ jk[z p dw`-{§b-d pp `-b_\m²±jh \|&`f[`_h&[`\|lF\\|&`` p {Ijkb_\[ p `_\g p h&`-{ nY¶\`-[\`?¼i`-b_gi\jkdeh;b-d pp `-b_\£Y b|l p leb_\` p jk[`f\|&` p `_£°lF\jkdeh&[K`_\®¯Á`-`_h³j^fzi£k`_^a`_hn\ lF\jkdehB²[z`-b_jbmlF\jkdehB²clFh&{©z p dez` p \®Y¥ ¦ª[l ZYn¬¾z p d0{Ig&b_\#dF\|&`«b-d pp `-b_\h&`-[[ z p d0dF[#¯x`;[|&dw¯ \|lF\ b-dehId p ^ lFh&b-`Q\d3lj`_h [z*`-b_jbmlF\jkdeh jk[`-¡ZgijlF£k`_hn\ \d¤[ lF\jk[¢leb_\jkdeh dFfl3[ l`_\·Y z p dez` p \®Y²±¯|ijkb |;bmlFh *``?¼0z p `-[ [`-{ le[lFh§de&[` p ` p igij£\ª p de^ \|&` [z`-b_jbmlF\jkdeKh GOle[¢l p le[¯Á`½0h&dm¯=²\|ijk[ p lF\|&` p `_h&` p lF£ p `-[gi£\b-dehih&`-b_\jhi` p jbmlF\jkdeh;lFh&{ b-dehI¢d p ^ lFh&b-` \`-[\jhiKjk[ªh&`_¯=¥ªÀ·h;X0`-b_\jkdeh§ ¯Á` degi\£jh&` l\`-b |ihijk¡ng&`=d p [\ lF\jkbmlF££Y#`_£j^fjhlF\jhi zl p \[cdF%l\`-[\bmle[ `ª p de^¯|ijkb |¶0jkde£°lF\jkdeh&[dF/\|&`z p dez` p \®Y#ZYK\|&` j^fzi£k`_^a`_hZ\ lF\jkdeh¤¸¢l p glFi£Y²\|&`^ lFjh dlF£OdF\`-[\jhiZ¹bmlFhih&de\c*`{i`_\`-b_\`-{ lFhnY#^ad p `¥ ;`=[|&dw¯ \|lF\\|ijk[ dezi\j^fjk[ lF\jkdeh«z p `-[` p `\|&`=b-d pp `-b_\h&`-[ [cdF\`-[\bmle[`-[m¥ÊX0`-b_\jkdeh ? b-deh&b_£g&{i`-[lFh&{z p `-[`_hZ\[ p `_£°lF\`-{¶¯Ád p ½¥ ! 5 ! % u |&`c^adZ{i`_£*dF±À·hizigi\s¬ÉÇgi\zigi\XZYZ^*de£jkb uBp lFh&[j\jkdeh XZY0[\`_^a[¸ÀÇX u Xi¹jk[qjh&[zij p `-{f p de^}À #Ç lFgi\de^ lF\ laÄÅ 3 Æ®¥ hi£j½`À #dzlFgi\de^ lF\ lI²ÀÇX u X{idh&de\ p `-¡Zgij p ` >1CF %1 - :!#"#" ¸¢lF££Ijhizigi\qleb_\jkdeh&[%`_hlFi£k`-{flF££0\|&`x\j^a`w¹?¥ !Ï #"  ÂSà "%$'&)(+*-,/.0,132547698;:=<:->@?BADCFEHGJIK0LM3NPONPQRNTSVUVNPWXNTY0ZX[#\]KT^_K 9 M`>@?aAb4]cH4]KTd G#Cfehgjij4j>kClKm?_K+CcHn#CfehGoK9p {&lF\ l g=[#\j>qr\->@?XC\]K5ph>@?tsHcH>f4CuEV4j>cH47cHnvAb?_K+C#wxcHn el p j°lFi£k`-[ gyAz?_K+C { cHn [YZ^*de£jkbDb-deh&[\ lFhn\[ A|4]pDA?_K+C}~cHn zl p lF^a`_\` p +[ o cH^5M7gy l+]!XpjKT4]c!ClK?C\]KCe!GoKcHn 9 O>@?C\]K jhij\j°lF£Ob-deh&{Ij\jkdeh g/A0BccHIK
(27) A|4KFhGJ^_K?T?F>cH4cH4w { g 9 Q>@?BA4]cH4]KTd G#Cfehgij4j>kClKB?9K+CmcHn £kd0bmlF\jkdeh&+[ h 9 S U Q>@?C\]K jhij\j°lF£O£kdZbmlF\jkde 9 W>@?;Ab4]cH4]KTd G#Cfehgyij4j>kClK lF£zi|lF`_\ g/[#\j>qr\D>@?XC\]KBph>@?tsHcH>f4CaEV4j>cH4cHnvAz?_K+CW;5cHn jhizigi\leb_\jkdeh&[ gA?_K+CWB cHn degi\zigi\leb_\jkdeh&[ g A|4]pA?_K+CaWm;cHn jhn\` p hlF£qleb_\jkdeh&+[ m cH^ K
(28) A!ql\ A!q+C>cH4¡WBg>kC¢? [jhlF\g p ` "£!¡ . 9. >@?BA-CFEHGJIKcHnmCe!GK? <v\]KB?F>¤h4ACFEV^_KcHn>f4ClKT^F4A|IA!q+C>cH4y?¥>@?C\]KKTd G#Cfe¦CFEHGJIK Yx>@?BAR?_K+CacHn \ p lFh&[j\jkdeh&[+§ A!ql\¨C^PA|4y?F>kC>cH47>@?XA-CFEHGJIKLSNT¡NT©#NPªRNT« NTS¬ZadA!pjKcHnF® ¯ AIcq
(29) AC>cH4SQg=q
(30) A|IfIK9pC\]K d p jjh cHnaC\]KC^PA|4y?T>kC>cH4 ¯ A|4A!q+C>cH43¡-°W±q
(31) A|IfIK9pC\]K leb_\jkdeh cHnaC\]KC^PA|4y?T>kC>cH4 ¯ A-CFEHGJIKL© Z @²v³F´µ´µ´ ¶ cHn=G/A|^PA|dDK+ClKT^T?5?+Eqr\¦C\AC>fn·+¸¢¹J¡j»º¼L¾½y¿+Z ¿ ²v³F´µ´µ´ À C\]KT4ÁºÃÂoA|4]pRÄJ¸ºÅ#Æ9Æ9Æ
(32) Ág r|J© º½ ¯ ABccHIK
(33) A|4 KFhGJ^_K?T?F>cH4ªÇcH4wà { D©g=q
(34) A|IfIK9pC\]K gl p {/ ¯ A|4 le[ [jhi^a`_hn\ « g=[#\j>ql\>@?mA?_K+C»cHn#KFhGJ^_K?T?F>cH4y?BcHn»C\]K;nÈcH^FdɾʰË̺ë5Í! ÍVÎÐÏ ?+Eqr\ C\AClgjnÈcH^BK
(35) A!qr\ Ê3°wRg C\]K5^F>¤h\JCkѾ\A|4]p-?F>pjKB« Í cHnaC\]KzA?T?F>¤h4jdDKT4CoÊ3Ë̺ë Í >@?BA|4KFhGJ^_K?T?F>cH4 cH4wà { © ¯ AIcq
(36) AC>cH4S|¬J°QÇq
(37) A|IfIK9pC\]K {i`-[\jhlF\jkdeh cHnaC\]K C^PA|4y?F>kC>cH4 Ò¾NÓ MvÒ¾Ô.
(38) rn=0 & head=0 & max>=1 & bit=true Wait_Req. l>head REQ?(l) last:=l Send_File. head<last-1 ACK? head:=head+1 rn:=0, bit:=not bit. pMsg=f[head] & pBit=bit MSG!(pMsg,pBit) rn:=rn+1. rn<max tau1. tau2 rn:=0. Wait_Ack. rn=max tau1. head=last-1 ACK? head:=head+1. Send_Complete. head<last-1 NOT_OK!. head=last OK!. head=last-1 DONT_KNOW!. Wait_Timeout2. 6. jg p `aÅ
(39) 7&7\|&`X0`_h&{i` p dF\|&`=Ë yco©o%p de\d0b-de£¾¥. Çg pp gihihijhi=`?¼&lF^fzi£k`Ájk[\|&`[z`-b_jbmlF\jkdehfdF\|&`Ë yco z p de\d0b-de£ÄÍÌÆ®²e¯|ijkb |f¯xle[%{i`-[jh&`-{\d[ l¢`_£Y=\ p lFh&[^fj\ &£k`-[Ádm` p lFhfgih&[ l¢`^a`-{Ijgi^ ¥ u |&`z p de\d0b-de£&g&[`-[Êlb-de^ijhlF\jkdehKdFBlF£\` p hlF\jhie¬¾ij\lFh&{ p `-[`_h&{0¬®dehI¬¾\j^a`-degi\ ^a`-b |lFhijk[^a[m¥ L ` p `²¯x`xl p `xdehi£Yjhn\` p `-[\`-{jh\|&`Á[ `_h&{i` p dF&\|&`Áz p de\dZb-de£¾²F¯|ijkb |jk[ p `_z p `-[`_hZ\`-{jh 6 jg p `Å¥ u |&`b-d pp `-[zdeh&{Ijhi ÀÇX u X |le[el p j°lFi£k`-[q² H¡ ² ¡·+ ²/lFh&{ ¸k ²
(40) [YZ^*de£jkbb-deh&[\ lFhn\[ ¡Ê lFh&{ ² lFh&{zl p lF^a`_\` p [ Â ²
(41) ·9¹ ²&lFh&{ ¸k ¥ %¼Ib-`_zi\¢d p ¸k ² ¸k ²IlFh&{ §lF££±\|&`=de\|&` p {&lF\ lal p `=dFjhn\`_` p \®Y0z*`
(42) G ¸k jk[lËdZde£k`mlFhK^adZ{i`_£jhi \|&`lF£\` p hlF\jhi ijH\ G º¸8\|&`c&£k`c\d`c[`_hZ\W¹Êjk[lFhl pp l-YdFOjhn\`_` p H[ G
(43) ·H¹ jk[lFh jhZ\`_` p \|lF\^ad0{i`_£k[\|&`=b_g pp `_hZ\c^a`-[[ lF`=*`_jhia[`_hZ\m²i\de`_\|&` p ¯j\|¶\|&`Ëxd0de£k`mlFh zl p lF^a`_\` »p ¸k ¥ u |&` el p j°lFi£k` J =") ¸ p `-[zB¥±\|&`ab-deh&[\ lFhn\ ¹[\ lFh&{ ¢d p \|&`fhngi^*` p dFxzleb ½`_\[DjhQ\|&`&£k`f\d`f[`_hn\ ¸ p `-[zB¥*\|&`^ l¼0j^gi^ hngi^D` p dF p `_\ p lFh&[^fjk[[jkdeh&[ªdFlazleb ½`_\W¹?¥ u |&`Dl p j°lFi£k` 2 jh&{IjkbmlF\`-[\|&`b_g pp `_hn\ zleb ½`_\¸ !PN )Å+ ² Æ9Æ9Æ ¹Á\df*`[ `_hn\m²lFh&{\|&`l p j°lFi£k` §jk[`_^fzi£kdwY`-{¢d p b-degihn\jhi p `_\ p lFh&[^fjk[[jkdeh&[m¥ vxdeh&[jk{i` p d p `?¼&lF^fzi£k` \|&` \ p lFh&[j\jkdeh ¯j\| d p jjh +! > lFh&{ {i`-[\jhlF\jkde h > & ¥¨À®\#|le[ \|&`adegi\zigi\ leb_\jkdeh
(44) !oª ¯j\|;zl p lF^a`_\` p [
(45) ·9¹N¸È ²Ogl p { Ì
(46) ·9¹°º #"$ H¡&%¾#' Ì ¸k bº ¸k T ²
(47) lFh&{ le[[jhi^a`_hn(\ Ë̺ ) Å ² ¸k mË̺ ¸k ² Ë̺ *² +¡Ë̺ H¡ ¥qÀ·h\|&` p lFzi|ijkbmlF£ p `_z p `-[`_hZ\ lF\jkdehB²i\|&`[YZ^*de£ + ¸ p `-[zB¥ , ¹{i`_h&de\`-[ÁlFh jhizigi\ª¸ p `-[zB¥nlFhdegi\zigi\W¹qleb_\jkdehB²IlFh&{fjk{i`_hn\j\·Yle[[jhi^a`_hZ\[ª-¸ Ë̺
(48) ¹l p `cde^fj\\`-{±¥ ¦h«ÀÇX u X[\ l p \[cjh¶\|&`Djhij\j°lF£O£kd0bmlF\jkdeh¶¯j\| elF£g&`-[dF\|&`Del p j°lFi£k`-[lFh&{¶[YZ^*de£jkbb-deh&[\ lFhn\[ª[ lF\jk[sYZjhi \|&`cjhij\j°lF£*b-deh&{Ij\jkdehB²IlFh&{az p d0b-`-`-{i[ÊZY p jhiD\ p lFh&[j\jkdeh&[w²ngiz{&lF\jhiD\|&`cel p j°lFi£k`-[leb-b-d p {Ijhi\dD\|&`gl p {i[ lFh&{le[[jhi^a`_hn\[ dF\|&`a\ p lFh&[j\jkdeh&[= p `-{±²%lFh&{Q`?¼ib|lFhijhi jhI¢d p ^ lF\jkdehº¯j\|º\|&` `_hn0j p dehi^a`_hn\ \| p degi| jhizigi\=lFh&{ degi\zigi\Dleb_\jkdeh&[m¥ 6 d p `?¼&lF^fzi£k`²\|&`[`_h&{i` p dFÊ\|&` Ë yco z p de\d0b-de£¸b?s¥ 6 jg p `#Åw¹jhij\j°lF££Y«¯xlFj\[ ¢d p l /.10 jhizigi\m¥Çh p `-b-`_zi\jkdeh;dFÊ\|ijk[jhizigi\¯j\| zl p lF^a`_\` p Â(2 +¡ ²±\|&`elF£g&` dF  jk[[ lm`-{ jh \|&` l p j°lFi£k` ¾¡·+ ¥ u |&`_hB² !PN )Å+ ² ) E l p `ª[`_hn\x\dD\|&` p `-b-`_j` p ¸degi\zigi\
(49) !oª ¹\de`_\|&` p ¯j\|#lFhlF£\` p hlF\jhi ij\m¥«¦¨zleb½`_\ ^ l-Y§`Kleb ½Zh&dw¯£k`-{I`-{ ¸8jhizigi\ « {3;¹?²/d p \|&` p `^ l-YQ*`Kl\j^a`-degi\¸8jhn\` p hlF£leb_\jkde5 h 4 ³ ¹?² MNMPOQ-RS#TR.
(50) l\` p ¯|ijkb|§l\|&`=zleb ½`_\c^ lmYK` p `-[`_hZ\ªlF\^ad[\ ¡!Ê Å ^ad p `=\j^a`-[m¥ 6 jhlF££Y²&\|&`[\ lF\g&[dF%\|&`¯|&de£k` \ p lFh&[^fjk[ [jkdehjk[ p `_zd p \`-{a\d\|&`c`_hn0j p dehi^a`_hn\ZY lFhdegi\ zigi\leb_\jkdehK7%`_j\|&` p ¸¢lF££*zleb½`_\[x¯x` p `[`_hZ\xlFh&{ leb ½Zh&dw¯£k`-{I`-{¹ G ¨¸¢lF££Izleb ½`_\[%¯Á` p `[`_hZ\qlFh&{ lF££Iigi\\|&`x£°le[\¯Á` p `leb ½Zh&dw¯£k`-{I`-{±²n^a`mlFhijhi \|lF\`_j\|&` p \|&`a£°le[\=zleb½`_\d p \|&`f£°le[\leb½0h&dm¯£k`-{I^a`_hn\f¯x` p `a£kd[\W¹G%d p
(51) ¸[ de^a`ajhn\` p ^a`-{Ij°l p Y zleb ½`_\c¯xle[ch&de\leb½0h&dm¯£k`-{I`-{¹?¥ ,±Ï Q "  n d p `¢d p ^ lF££Y²Bl ?+CÈAClK jk[lzlFj p LÂlNZ ¯|&` p `  jk[l £kdZbmlF\jkdehQlFh&{ jk[lelF£glF\jkdeh ¢d p \|&` l p j°lFi£k`-[ªlFh&{ \|&`=[Y0^Dde£jkb=b-deh&[\ lFhn\[w¥ u |&`=[ `_\cdF/lF£glF\jkdeh&[jk[{i`_h&de\`-{ ²lFh&{\|&`[`_\ Q dF%[\ lF\`-[ jk[{i`_h&de\`-{ ZY ¥¦ch >f4j>kC>A|Io?HCÈAClK jk[lK[\ lF\` L U N U Z [g&b|§\|lF\  U jk[ª\|&` jhij\j°lF£%£kd0bmlF\jkdeh§lFh&{ U [ lF\jk[s`-[ \|&`jhij\j°lF£±b-deh&{Ij\jkdehB¥ u |&`[`_\dFOjhij\j°lF£B[\ lF\`-[Ájk[{i`_h&de\`-{ ¥%¦ < C2 H jk[lDzlFj p L¡NbZ ¯|&` p ` ¡ jk[ lFhº¸8jhizigi\m²degi\zigi\m²&d p jhZ\` p hlF£S¹leb_\jkdeh«lFh&{ jk[cl lF£glF\jkdeh¢d p \|&`zl p lF^a`_\` p ¸[W¹bml pp jk`-{nY#\|&`Dleb_\jkdehB¥ »ªde\`\|lF\Ê\|&`celF£g&`-[ÊdFzl p lF^a`_\` p [l p `h&de\Áb-dehn\ lFjh&`-{jh [\ lF\`-[m²nigi\ÊjhalF£g&`-{ leb_\jkdeh&H[ G0\d`^a`_^ad p jk[`-{±² \|&`lF£g&`-[dFÊzl p lF^a`_\` p [|l-` \dK`le[ [jh&`-{ \dl p j°lFi£k`-[m²±de\|&` p ¯jk[`\|&`_Y l p `£kd[\m¥ u |&` [`_\ªdFÁelF£g&`-{ leb_\jkdeh&[jk[c{i`_h&de\`-{«nY BGj\jk[c\|&`D{Ijk[rdejhn\gihijkdeh«dF%\|&`D[ `_\cdF%elF£g&`-{ 1!CD >" ²&lF£g&`-{ CF 1CF >" ²lFh&{ lF£g&`-{jhn\` p hlF£leb_\jkdeh&[ | ¥ u |&`£°lF\\` p jk[jk{i`_hn\j`-{¶¯j\| \|&`=[`_\ Wa dF/jhZ\` p hlF£/leb_\jkdeh&[m¥ 6 d » p l\ p lFh&[j\jkdehKdF±\|&`cÀÇX u X*²\|&` 2"> )J
(52) jk[q\|&`[`_\ÊdF±\ p jzi£k`-[ L¢·!N!uN· ¬ Zu " ² ¯|&` p ` ·3ºLÂlNZ ² ·+¬aºL¾¬N!¬tZ l p `K[\ lF\`-[flFh&{ ºL¡NzZ jk[l¶ lF£g&`-{3leb_\jkdeh¤[g&b |º\|lF\ ÂlNT¾¬ ²qlFh&{ ¡ l p ` p `-[z`-b_\j`_£Y\|&`d p jjhB²q\|&`{i`-[\jhlF\jkdehB²xlFh&{3\|&` leb_\jkdeh¤£°lF*`_£jhi GÊ\|&`#lF£g&`-[fdFl p j°lFi£k`-[m²Á[YZ^*de£jkb b-deh&[\ lFhZ\[=lFh&{§leb_\jkdeh&[ª{i`?&h&`-{ ZY ² [ lF\jk[8Y\|&`gl p { ª dFq\|&`\ p lFh&[j\jkdeh G±lFh&{¶\|&`lF£glF\jkdeh ¬ jk[ dei\ lFjh&`-{ p de^ N ZYK`?¼i`-b_gi\jhi \|&`a¸8zl p lF££k`_£S¹cle[[jhi^a`_hZ\[cdF\ p lFh&[j\jkdeh ¥ u |&` £kdelF£Ê\ p lFh&[j\jkdeh p `_£°lF\jkdeh jk[ º$# Î&% ²O¯|&` p ` Y {i`_h&de\`-[D\|&`a[`_\DdF\ p lFh&[j\jkdeh&[dF\|&` ÀÇX u X*j¥ ;`¯ p j\` ·(' ·+¬ ¢d p ¢·!N!»N·+¬ta) ¥ !Ï #"  ÂSà "+* & -Ï , / . Â8à 13210yKT\A2|>cH^;n^PA+¤hdDKT4JC>@?;A?_K43jEKT4]q9KXcHnA|IkClKT^F4AC>f4¤?HCÈAClK?¥A|4]p2_A|IkEK9pA!q+C>cH4y? 5 Ë · ³ '76 ·98 < '/: ;4;4;P· -==³ ' >@? 6 · 2 `_|l-0jkdeg ¥p >@?BA0yKT\A2|>cH^¥n¾^PA+¤hdDKT4CBC\AC?HCÈA|^HC¢?¥>f4A|47>f4j>kC>A|Iv?HCÈAClK ¦[\ lF\`%jk[ p `mleb |lFi£k`qjIj\±jk[±\|&`%£°le[\B[\ lF\`qdFilx`_|l-0jkdeg p ¥ 6 d p l[`-¡Zg&`_h&b-` A ºB ³ 8 ;4;4;C dF0lF£g&`-{Dleb_\jkdeh&[m² ¯x`[de^a`_\j^a`-[¯ p j\` ·(D · ¬ d p ¾ F)/ " · ³ N9Æ9Æ9Æ
(53) · Ev³ "#C2
(54) ¾ D
(55) ·bº%· ³ ' 6 ·@8 < ' : ;4;4;P· ' > · º%· ¬ ¥ dF±\|&`ªÀsÇX u Xf¯Á`¯ p j\` ·ID ¬ j±\|&` p `ª`?¼0jk[\[xlD[\ lF\` ·+¬ ¬ [g&b |\|lFF\ Ev·I³ D ·+¬ ¥ 6 d p l=[ `_\ÁdFO[\ lF\`-[ ¬HG !Ï #"  ÂSà "IJ & Ã Ï i , i  +  #Ð 1°2`?HCÈAClK·>@? b-d p `mleb |lFi£k` nrcH^AD?_K+CzcHnm?+CÈAClK? ¬ >fnzC\]KT^_KKF>@?HC A LK ?HEql\¦C\AC»· D ¬ <v\]KB?_K+CacHn#?HCÈAClK?C\ACaA|^_Kzq9cH^_K
(56) A!qr\AM0IKbnÈcH^ ¬]>@?Xq
(57) A|IfIK9pC\]K b-d p `mleb|lFi£k`[`_\ cHn##¬ ;`dF8\`_hjk{i`_hn\jYl£kd0bmlF\jkdeh S°Q ¯j\| \|&`[`_\ÁdFB[\ lF\`-[ N LSNZ4O D QP R¸ ©{i`_h&de\`-[Á\|&`c[`_\xdFlF£glF\jkdeh&[ dFÊ\|&`l p j°lFi£k`-[lFh&{ [YZ^*de£jkbb-deh&[\ lFhn\[DdFq\|&`ÀÇX u Xi¹?¥ u |&`_hB²\|&`Dh&de\ lF\jkdeh ·SD S lFh&{ \|&`h&de\jkdeh&[dF p `mleb |lFi£k`£kdZbmlF\jkdeh¶lFh&{b-d p `mleb |lFi£k`D[`_\dF/lj`_h£kd0bmlF\jkdeh¶l p `lF£k[d {i`?&h&`-{±¥q¦ \ p leb-`jk[\|&`[gi&[ `-¡ng&`_h&b-` dFql `_|l-0jkd p b-dehn\ lFjhijhiKdehi£YK¯|lF\cjk[`?¼0\` p hlF££YK0jk[ji£k`²i\|lF\jk[m²IlF£g&`-{#jhizigi\[lFh&{ elF£g&`-{ degi\zigi\[A7 !Ï #" Â ÂSÃ "(T& mi yÏ 1<v\]K \ p leb-` cHnuA"0jKT\A/2+>cH^ 5 >@?C\]K;GJ^_cPs9K9q+C>cH4 cHn 5 cH4 <v\]KX?9K+C¥cHn¥C^PA!q9K? cHnoA|43698;:=<:VU1Wf> K gvC\]K5?9K+CacHnaC^PA!q9K?cHnA|IfIX0yKT\A2|>c!EV^T?zcHn)UY5>@?zpjKT4]c!ClK9pZ0
(58) e. , ##"9RU;. .
(59) , µ /+- /. %$& ]\ s 5 =!³ u |ijk[Á[`-b_\jkdeh [`_\[%\|&` p lF^a`_¯xd p ½ d p ` p jbmlF\jkdeh#lFh&{ab-dehI¢d p ^ lFh&b-`\`-[\jhi=¯j\|KÀsÇX u X*¥ 6 j p [\m²¯Á`cz p `-[`_hn\ l ¢`_¯ dez` p lF\jkdeh&[deh ÀÇX u X*²±lFh&{ \|&`_h \|&`[ lF\jk[s¾leb_\jkdeh p `_£°lF\jkdeh´¸Sd p ` p jbmlF\jkdeh¹lFh&{ \|&`b-dehI¢d p ^ lFh&b-` p `_£°lF\jkdeh3¸Sd p b-dehI¢d p ^ lFh&b-`=\`-[\jhiZ¹*`_\·¯Á`-`_h«ÀÇX u Xl p `ª¢d p ^ lF££Y{i`?&h&`-{±¥ [. Ò¾ÓNMvÒ¾Ô.
(60) .
(61) . u &| `zl p lF££k`_£iz p d0{Ig&b_\%dez*` p lF\jkdehf£k`_\[%`mleb |a[Y0[\`_^ z` p d p ^(jh&{i`_z`_h&{i`_hn\£Yj\[jhn\` p hlF£leb_\jkdeh&[ÁlFh&{j^fzd[`-[ [Y0h&b| p dehijwlF\jkdehfdeh\|&`q[|l p `-{=jhizigi\lFh&{Ddegi\zigi\%leb_\jkdeh&[m¥ u |&`Êdez` p lF\jkdehDjk[O{i`?&h&`-{D¢d p %1F
(62) E ÀsÇX u X*¥ !Ï #"  ÂSà " & à "!/I  + Ï (+*-,/.0,1 cH^#º¼ÅVN%$gvC\]K CÈ[oc6_8;:=<:
(63) U#¿Bº¼LM¿hNPO;¿ÐNPQ5¿ÐNTSV¿ U NPW¿ÐNTYb¿+ZX[#>kC\ pACÈAM¿°A|4]p A|I GJ\AM0jK+C0W¿ ºW ¿ ¨W ¿ W ¿| A|^_K b-de^fzlF\ji£k` >fnbM ³'& M8 º)(g5W ³ º W 8 gBW ³ ºW 8 g. Wa³ & Wa8 | º*(g]A|4]pK
(64) A!qr\°¡°W¥³ 3WB³ W,+ W;8 7WB8 Y¥\A? C\]K5?
(65) A|dDKB?F>¤h4ACFEV^_K5>f4 0yc!C\3?ley?HClKTd? Ï!#" Â ÂSÃ ".- &0/ iF + + Ï + / Ã Ó
(66) 1 <v\]KG/A|^PA|IfIKTIyGJ^_cpEq+C Uº U O O U 8zcHnoCr[c0q9cHd G/AC> 0IK¥6_8;:=<: U NUL8 >@?C\]K5698;:=<:LMNT};NPONPQ0NTS U NPWXNTYRZXC\ACaq9cH4y?F>@?HC¢?XcHnmC\]K¥nrcHIfIc[#>f4¤7³ KTIKTdDKT4JC¢?+®»wº w ³ Dw 8 g { º { ³ ³ { 8 g }ºÃ} ³ m})8gO º O ³ '¥O 8+gQº Q ³ BQ 8+ghSVU5º¼LSV³U NTSV8U ZgW º W ³ º±W 8 gW º±W ³ º W 8 gW | º W ³ ¥W 8 <v\]KB?9K+CY cHnmC^PA|4y?F>kC>cH4y?zcHnmC\]Kq9cHd Goc+?_K9p?ley?HClKTd~>@?bpjKTij4]K9p7A?;nÈcHIfIcV[?+® 9. 9. 3ÊÏ. . 76. nÈcH^7K
(67) A!qr\¼C^PA|4y?F>kC>cH4¼LS ³ NT¡NT©#NPªRNT« NTS ¬ ³ Z Y ³ [#>kC\ ¡`W ³ A|4]p¨nrcH^7K
(68) A!ql\ Icq
(69) AC>cH4±cHnRC\]KDnÈcH^Fd LS ³ NTS 8HZ¥[#>kC\-S 8X°Q 8g]C\]KT^_Ka>@?;ARC^PA|4y?T>kC>cH43cHnC\]KmnÈcH^Fd LFLS ³ NTS 8HZPNT¡NT©#NPªRNT« N+LS¬ ³ NTS 8+ZFZ>f4 U ³ O O UX8WA|4]p ?F>fdR>fIA|^FIenÈcH^BA|IfI ¡°W 8 Y9g nÈcH^A|IfI¥C^PA|4y?T>kC>cH4y?LS ³ NT¡NT© ³ NPª ³ NT« ³ NTS¬ ³ ZY ³ gaLS@8VNT¡NT© 8VNPª 8NT«Q8VNTS¬ 8HZ 'Y8[#>kC\¡ W;³ g IK+C5ª ³21 8 Wf^_K?ÈG « 8 YpjKT4]c!ClKC\]KKFÐGJ^_K?T?T>cH4c-0CÈA|>f4]K9p 0_eÃ?lej4CÈA!q+C>q
(70) A|IfIeÃ^_KrGJIA!qT>f4¤ >f4 ª 8 Wf^_K?ÈG « 8 YK
(71) A!qr\ G/A|^PA|dDK+ClKT2³ ^1 n¾^_cHd © 8 0
(72) e C\]K7q9cH^F^_K?ÈGocH4]ph>f4¤jg¥?PA|dDKPÑfGoc+?F>kC>cH4¦G/A|^PA|dDK+ClKT^n¾^_cHd © ³ <v\]KT4]g;>f4 U ³ O O UL8 C\]KT^_K5>@?BA-C^PA|4y?F>kC>cH4 LFLS ³ NTS 8HZPNT¡NT© ³ NPª ³ '7ª ³21 8NT« ³ D« ³21 8VN+LS¬ ³ NTS¬ 8+ZFZ WA|4]p?F>fdR>fIA|^FIe[#\]KT43¡-WB³ Y Q $ & ÄÅmÌFÆ8¹ 2 #"HRU ³ O O U 8Hoº , ##"9RU ³ & , ##"+RUX8+5 4 89:;<=>?>A@
(73) ?CBD:;<=>?E9F GIHJKH. ;`ª|&` p `=le[[gi^a`\|lF\\|&``_hn0j p dehi^a`_hn\^ lmYde&[` p `ªh&de\dehi£Ydegi\zigi\[w²Iigi\lF£k[ d. 8¸ j¾¥È`¥² jh l j`_h«[\ lF\`²\|&`D[YI[\`_^ {id0`-[h&de\ª`_^fj\ªlFhnYdegi\zigi\d p \|&`=`_hn0j p dehi^a`_hn\\d de&[ ` p `w¹?¥ u |ijk[cjk[cbmlF££k`-{ L CDE#") ) jh b-dehI¢d p ^ lFh&b-`\`-[\jhi ÄÅmÆ®¥Çh§lfi£°leb½Z¬¾d-¼«j^fzi£k`_^a`_hZ\ lF\jkdehB²B¡Zgijk`-[b-`_h&b-`jk[de&[` p `-{ g&[jhi \j^a` p [H7la\j^a` p jk[ p `-[`_\ª¯|&`_h&`_` p \|&``_hn0j p dehi^a`_hn\=[ `_h&{i[ªl [\j^Dgi£g&[ª\d\|&`=j^fzi£k`_^a`_hn\ lF\jkdehKGO¯|&`_h«\|&` \j^a` p `?¼Izij p `-[m²±\|&` `_hn0j p dehi^a`_hn\de&[` p `-[=¡Zgijk`-[b-`_h&b-`¥ L dw¯Á`_` p ²Odeh;l§¸8¯|ij\`?¬¾d-¼¹ª[z`-b_jbmlF\jkdeh;[g&b|Qle[ \|lF\{i`_zijkb_\`-{ jh 6 jg p `KŲ¡ngijk`-[b-`_h&b-`jk[^ lF\` p j°lF£jm`-{ nY«le{i{Ijhi l[z`-b_j°lF£
(74) degi\zigi\=leb_\jkde"h Mn²*¯|ijkb| ^ lmY d0b-b_g p jh¶l £kd0bmlF\jkdeh jqlFh&{dehi£YKjh&dfde\|&` p degi\zigi\ªd p jhn\` p hlF£/leb_\jkdeh&[ªl p ` p `mlFi£k`jh \|lF\£kd0bmlF\jkdehB¥ Ï!#" Â ÂSÃ "ON&0P Â Ï w Ï " (|*-,=.R,v1 $ ><=
(75) Q9; USR;> ¾ "H) ;,'&<
(76) # #"5w0; - 2"mW º±W 0W Wal 2"> 2"5Y0 ¾ F ¡ngijk`-[b-`_hZ\ Q9; UUT " ) E >! '#1U >£ !VR CF 1CF -
(77) M #"-! '
(78) CD 1CF >". E-W & ! ') _ H
(79) °Â*' U¥ 8!VR "H '
(80) : H#1! £ 2"# j J 9R; ¾ H M R; ¾ ="#"#f£ >"XW:,4>Y4f]Ê°ËÌºÊ '- > < ) #"BÊ3°w[Z+ !XR# D"-X£C2 , " > + ¾ F( #! 1 #"#"#. \ ]9Î_^a` >Vb,c ^edgf. R# F). ª¡jaË. h. ª¡j. t²EiÀj1 ] 1 kl1 m b 1 n b 1 Àpb7o q ÎF%sr. ©Ë!·+¸¢¹J¡jPÆ̪ © . ¸sÅw¹ ¸¢¹. &| ` h&`_¯ degi\zigi\ leb_\jkdehSM§^ l-Y³`¶ p `-{ jh lº£kd0bmlF\jkdeh  jJI h&d¤de\|&` p degi\zigi\[d p jhI¬ \` p hlF£=leb_\jkdeh&[#^ l-Y´*`¶ p `-{³jh  ¥ »dw¯=²lFh leb_\jkdeh ¡ ^ l-Y©` p `-{¿jh  jJI \|&` p ` `?¼Ijk[\[KlQ\ p lFh&[j\jkdeh ¥ºÇLÂlNT¡NT©#NPª NT« NT ¬ ZB¦Y ¯j\|;leb_\jkdeh ¡ ²±lFh&{¶lF£g&`-[d p \|&`zl p lF^a`_\` p [ © bml pp jk`-{ nY ¡ ¸8¯|ijkb|;bmlFh *` [`-`_h¶le[l [jhi£k``-b_\d p lF£g&`dF/\·YZz` ·+¸¢¹J¡j ²&b?s¥u`?&hij\jkdehÅw¹x[g&b| \|lF\m²IZY p `_zi£°leb_jhia\|&`zl p lF^a`_\` p [ © Q# :)E1 ) E
(81) et¤u. MNMPOQ-RS#TR.
(82) rn=0 & head=0 & max>=1 & bit=true Wait_Req. DELTA!. l>head REQ?(l) last:=l. Send_File head<last-1 ACK? head:=head+1 rn:=0 bit:=not bit. pMsg=f[head] & pBit = bit MSG!(pMsg,pBit) rn:=rn+1. Wait_Ack. rn = max tau1. tau2 rn:=0. rn>max DELTA! head=last-1 ACK? head:=head+1. Send_Complete. head<last-1 NOT_OK!. rn<max tau1. head>last+1 DELTA!. head=last OK!. head=last-1 DONT_KNOW!. Wait_Timeout2. 6. jg p `DF7 %7 \|&`ÀÇX u X. +) T. ¥. ¯j\| \|&`_j p elF£g&`-[m²I\|&` p `-[gi£\jhifd p ^gi£°l ª © jk[c[ lF\jk[slFi£k`¥ L `_h&b-`² 6 d p ^gi£°l¶¸¢¹Á\ lF½`-[\|&`{Ijk[¢rÉgih&b_\jkdehB² ¢d p lF££B\ p lFh&[j\jkdeh&[ º¼LÂlNT¡NT©#NPª NT« NT ¬ Zm3Y lFh&{lF£glF\jkdeh&[cdF © ²idF\|&`d p ^gi£°le[ ª © ¥ u |&` p `-[gi£\m²F{i`_h&de\`-{ ª¡ jh 6 d p ^gi£°l¸¢¹?²Fj`-[O\|&`Êb-deh&{Ij\jkdeh&[dehD\|&`Á[Y0[\`_^ È[Bl p j°lFi£k`-[/lFh&{[YZ^*de£jkb b-deh&[\ lFhZ\[m²gih&{i` p ¯|ijkb| \|&`Dleb_\jkdeh ¡ jk[ p `mlFi£k`=jh  ¥ 6 jhlF££Y² 6 d p ^Dgi£°l ¸sÅw¹[ lmY0[c\|lF\ M^ l-Y`ª p `-{ jh  Jj IQh&dde\|&` p degi\zigi\d p jhn\` p hlF£qleb_\jkdeh jk[ p `mlFi£k`jh  ¥ L `_h&b-`²*j\c\ lF½`-[ª\|&` CD- dFq\|&` !k£
(83) 2" dFqlF££±¢d p ^Dgi£°le[ ª¡ ²id p lF££ ¡-Wa7WB ¥ "! + Ï 6 d p \|&`cÀÇX u X {i`_zijkb_\`-{jh 6 j&¥Å²Z\|&`ÀÇX u X + ) T jk[x{i`_zijkb_\`-{Kjh 6 j&¥0I¥À·h\|&` +) £kd0bmlF\jkdehB² 6 d p ^gi£°l«¸sÅw¹*`-b-de^a`-[ LÌ
(84) ·9¹-Ë
(85) N¸È aË ZPÆtÌ
(86) ·H¹º #"$ +¡ %'¸È oº ¸È F ² ¯|ijkb | p `-{Ig&b-`-[\d '- "H ¥ÊXZj^fj£°l p £Y²ijh f Nr >CF ²I\|&` 4 8 leb_\jkdehjk[lF£¯xl-YI[ p `mlFi£k`²lFh&{ 6 d p ^Dgi£°l¶¸sÅw¹ `_lF£glF\`-[ª\d '- "H ¥ L `_h&b-`e² M jk[ch&de\c p `mlFi£k`jh¶£kd0bmlF\jkdeh&[ + > lFh&{ N CF ¥Çh«\|&`Dde\|&` p |lFh&{±² M^fj|Z\q*`Á p `mlFi£k`jh \|&`\| p `-` p `_^ lFjhijhi=£kd0bmlF\jkdeh&H[ 7
(87) > z L ² > & ²ZlFh&{ ;%1 ) : ¥ 6 d p `?¼ilF^fzi£k`²I\|&`gl p { dF/\|&` M-¬¾£°lF`_£k`-{ \ p lFh&[j\jkdeh deh£kdZbmlF\jkdeh jk[ 2 ¡Ê ²I`-bmlFg&[
(88) ` 7\|&` p ` l p `D\®¯Áddegi\dejhi\ p lFh&[j\jkdeh&[c£°lF`_£k`-{nY¶lFh¶jhn\` p hlF£%leb_\jkdeh¸ 4 ³ ¹?²&¯|ijkb |¶|l-`D\|&`=gl p {i[ º ¡Ê lFh&{ ¡!Ê ² p `-[z*`-b_\j`_£+Y GOlFh&{ h&ddegi\dejhi\ p lFh&[j\jkdeh&[Dl p `£°lF`_£k`-{ nY degi\zigi\[m¥¸¾Çcb-deg p [`²0rÉg&[\le[lFhZY de\|&` p leb_\jkdehBe² Mjk[cleb_\glF££YK p `mlFi£k`=dehi£Yjj\[gl p { leb_\glF££Y#`_lF£glF\`-[\d C jh¶l p `mleb |lFi£k`D[\ lF\`¥ ¹ "!$# O&%(' *) O ),+.-0/2143*3+5143 #61 ' ) O 7)98;:< =- O&% )
(89) ->#? O@ -0A
(90) ' - OB' *193C#&1 OB' E D % 1 ' ) OF. Ò¾ÓNMvÒ¾Ô.
(91) rn=0 & head=0 & max>=1 & bit=true Wait_Req. DELTA!. l>head REQ?(l) last:=l. Send_File. pMsg=f[head]& pBit=bit MSG!(pMsg,pBit) rn:=rn+1. Wait_Ack. head=last-1 ACK? head:=head+1. Send_Complete. head<last-1 NOT_OK!. head=last OK!. rn>max DELTA!. head<last-1 ACK? head:=head+1 rn:=0 bit:=not bit. rn<max& pMsg=f[head]& pBit=bit MSG!(pMsg,pBit) rn:=rn+1. DELTA! rn:=0. l>head REQ?(l) rn:=0 last:=l. rn=max& head>last+1 DELTA!. rn=max& head<last-1 NOT_OK!. head>last+1 DELTA!. rn=max& head=last OK!. rn=max& head=last-1 DONT_KNOW!. head=last-1 DONT_KNOW!. Wait_Timeout2. 6. 7. jg p ` 3 7\|&`DÀsÇX u X 9 9 + T ¥. "a_ O: ?: < : F_GIHJKHU@
(92) ?Ca_ O: ?: < e_: ?. ¦h¤ÀsÇX u XQjk[ ) :)#(> ") jcj\f{id0`-[ h&de\ |l-`#jhn\` p hlF£cleb_\jkdeh&[w²ÁlFh&{jh¤`mleb|¤£kd0bmlF\jkdehB²q\|&`Kgl p {i[fdF \ p lFh&[j\jkdeh&[c£°lF*`_£k`-{ nY#\|&`[ lF^a`Dleb_\jkdeh«l p `=^Dgi\glF££Y `?¼ib_£g&[j`¥ !Ï #"  ÂSà " & Ó Ï Ï Â "  -  (|*-,=.R,v132B4Ã6_8;:=<: LMNPONPQ0NTS U NPWXNTYRZ>@?3pjK+ClKT^FdR>f4j>@?+C>q7>fnWa|º (g. A|4]pjg=nrcH^zA|IfI#S-¨Q~A|4]p-nrcH^ K
(93) A!ql\7G/A|>f^ cHn5C^PA|4y?T>kC>cH4y?R[#>kC\¦cH^F>¤h>f4>f4S-A|4]pDIAM0jKTIK9p 0
(94) eC\]Kb?PA|dDK A!q+C>cH4 ¡J® LSNT¡NT© ³ NPª ³ NT« ³ NTS ³ Z¥A|4]p°LSNT¡NT© 8VNPª 8|NT« 8VNTS 8+Zg C\]Kq9cH4+s|EV4]q+C>cH4ª ³ '7ª 8X>@?EV4y?PAC>@?TiAM0IK ) :( " £ lFh ÀsÇX u X U ^a`mlFh&[ªb-de^fzigi\jhi l {i`_\` p ^fjhijk[\jkb ÀsÇX u X H _RU¥ ¯j\| \|&`[WlF^a`D\ p leb-`-[ le[ U ²j¾¥È`¥² 2 #"+9 9RU;F7 º ¡ 9|·RUa ¥ u |ijk[Kdez*` p lF\jkdeh jk[#lFh¿j^fzd p \ lFhn\[\`_z dFDb-dehId p ^ lFh&b-` \`-[\ `_h&` p lF\jkdeh3¸b?s¥X0`-b_\jkdeh 3 ¥Í¹?¥; ` p jk` &YKz p `-[`_hn\j\*`_£kdw¯ GI8gi££
(95) {i`_\ lFj£k[bmlFh `ªdegih&{jh;ÄÅmÌeÆ®¥ 6 d p \|&`=ÀÇX u X + T ¸b?¥ 6 j&¥&¹x\|&`ÀsÇX u X 9 9 +! T jk[[|&dm¯h¶jh 6 j&¥ 3 ¥ Ï Ï Â "  mI Â8à ".
(96)
(97) "! #$
(98) %& '()
(99) &*%+*! -,./ %%-01
(100) 2$35467
(101) 8
(102) %9 "*. 2
(103)
(104) !8!7 !
(105) #7&#
(106) 6*6.: 17
(107) 3
(108) <; *3%
(109) =*! ->?& 1
(110) %&'@5
(111) &*%A*! B, 7
(112) C2
(113) B(DE! F9G
(114) 7
(115) C
(116) HI
(117) !#*.J*546
(118) BK59
(119) !
(120) 8*.J)
(121) &*%J*! 17&L%
(122) B*2 M*NF9GO# ( 9GF9GOP%Q*3R
(123) %
(124) 2N* S,*2TM
(125) !G2
(126) 67@
(127) HI
(128) B!(U7
(129) 6' 9&*2V*2N*'
(130) 5@*.17
(131) %Q*@* W>YXA
(132) (Z 6 , Z : , ´k´È´ ,AZ > 3R
(133) 6
(134) K59
(135) !
(136) *.15
(137) *%1*! 87&=%
(138) B*2C"*T F9 @ 8 9 F9 (*! ]N[
(139)
(140) \3R
(141) %-0 ]>E^_7
(142) \' 9&*2V*2U*'
(143) ) !
(144) FR 2'8CZ ` *
(145) m ` , n ` , *2(7
(146) _' 9&*2 [
(147) FS>5*'
(148) B)]W!
(149) FR 2 '@ ] *
(150) m , n >+^_7
(151) W,*7
(152) 10L7 %
(153) D
(154) BK59
(155) !
(156) _+
(157) F%Q*!
(158) 2 354E * \0L 7\ ' À 6 ,)2
(159) & À > ` : ,5*! ] ,5' 9&*2 m 6a(b m :Sc n 6-d a ´k´È´ b m > c n >@? 6Rc+eeBePc n 6-d a(b m c n > c n >@? 6&c+eBeePc n 6-d , *2$*'
(160) B) n n
(161) _.:9 ! Y! FI S>+^L7
(162) CFG!
(163) 29
(164) =
(165)
(166) _ .A7
(167) Cfg8hG^#h2G
(168) _* n eBe!BeB c n 6 ,5 0L(775
(169) 4GFR
(170) *c 7 2
(171) B
(172) 1* ! 5*$!4G!%
(173) Bi*.A)c
(174) &> *%Wc *!> ? 6+-c_, @ ! .: 6*!
(175) #
(176) '6j Bk l , 0L7!7Y6*2
(177) L!B
(178) 5% 4\7 9' 7Y7DF*FI
(179) > qp qr sss qn mp mr mn oWp u t mn o r u pvwLp u r vw r u nWvw1n vw. MNMPOQ-RS#TR.
(180) ^_7
(181) #
(182) !B 2
(183) BFE!B D
(184) #7
(185) L
(186) HS
(187) !D*.WC 2
(188)
(189) !#!7 !B
(190) L E7
(191) L 3
(192) <; *3%
(193) *! i7&.: %%B0 ->+^_7* 9) $F% ',A
(194) > '>,WP0D$* [ 0L 7 O
(195) G!%9 ;)
(196) ' 9*2 m 6 , m : *2T*'
(197) 5 n 6 , n : O#
(198)
(199) \3R
(200) B%B0 ] 5$7
(201) B
(202) @
(203) (.: C7
(204) !B*
(205) m 61 m 7 %2 -,S**7
(206) .: _7
(207) E!B*
(208) @0L7
(209) m m 7 %2-,S*2$7
(210) (%Q*L.: _7
(211) E!B*
(212) m m 7 %2 ->LfPM7
(213) (%Q
(214) C!B*
(215) ),R7
(216) !7 !
(217) 80La7
(218) 7
(219) : _\*' Y7
(220) C; *Q*3%
(221) *!! 2 ' :Ln a6 16 n : LFR FR
(222) 2M9)%S7
(223) @ 3
(224) <; *6i3a %
(225) =*!: $7&_./ %%-0L->+^_759-, . 7
(226) E
(227) 5=*! W,I7
(228) B 7
(229) \*'
(230) ) n 6 7 9%2 7&;)
(231) E3R
(232)
(233) B
(234) G
(235) B!9
(236) 2W,J7
(237) !
(238) ,W78*'
(239) )CC! FR
(240) 2M0L 7 7
(241) (' 9&*2U*2 7
(242) *'
(243) 5_!
(244) FR 2 '\ [ 0L7!7YF529!
(245) _7
(246) 8' 9*2 m c n 6 * 2"*'
(247) ) n c n 6 ]>ihG%Q*% 4),5 .LD7
(248) 8
(249) GL*! W,7
(250) n : 7 9%2U7&;)
(251) 3I
(252)
(253) N
(254) G
(255) !B9G
(256) 2W,+0L7!7UFG29 !B
(257) =7
(258) ' 9*2 m c n : *2N*'
(259) 5 n c n : >^_78FG!
(260) 29
(261) Y6B4 *@
(262) &
(263) [
(264) > '>,G . ] ² _*2 ]² 6 ,)7
(265) FR FR '(' G
(266) 1 ./
Documents relatifs
2) Le développement local c'est-à-dire les expériences d'intervention en développement économique communautaire, en économie sociale et en économie solidaire mises
La définition générale du concept d'évaluation formative des apprentissages retenue pour cette recherche constitue une synthèse découlant de la recension d'un ensemble
Effets et pouvoirs de la voix dans la philosophie et la littérature antiques Paris, Classiques Garnier, 2021 (Kaïnon - Anthropologie de la pensée ancienne, 19), ISBN :
relève de traités, et que les États membres sont des États au sens du droit international public, c’est à ce juste titre que J. Fischer peut qualifier l’Union actuelle de
Afin de saisir le déploiement de ce discours, j'analyserai dans un premier temps les représentations liées au temps dans le roman, en m'arrêtant d'abord sur toutes celles qui,
Cette recherche, de type qualitatif, consiste en une exploration de la littérature dont les buts sont de décrire selon divers auteurs, différe ntes expériences
For each sam- pling point is also given the value output of the merging process with the difference between the SH degree 100 expansions subtracted, the index corresponding to the
L’archive ouverte pluridisciplinaire HAL, est destinée au dépôt et à la diffusion de documents scientifiques de niveau recherche, publiés ou non, émanant des