Models of Computation for Embedded System Design Luciano ...


 


 
"!#%$&'('*),+ - ." /0 13254687:97@?A7:BA9; C5DFZRE@GNH8Q[VSI8I8JKDFTFDFLMLMVSITFN]N O\WPRV_QS^`DFTFNaI8HbH8VSLNUNLWVSTYX c3deCgfTGK\hDYi Q[Vj3kH8flFlmVnohpe^`NaHbVSLNhp@qrIsGtQSu vMwaxwayaze{M| }{Mvh~F{A€m~ ‚bƒ5„@…a† ;=‡7:9?LEELmDEFl,:5NVZ:=BF:=9?KM:Le]jJSZMKlVGfEF:KMEFh,Z[JeO)JS9?@ ]ch,9?K\EGILQ9?JeOOfGI>,ZMJSZFGf:dBEFl?JSE KMLQh,O`@>?:EFl,: ZF:=BhVOfEULS]$J >7LQEFEL?JeBG`K KMLQ,GIOIGIEwD KMLQ,GI9,T5K\LQ< NVOfG`K=JeE:@g@,JeE[J#EZMJS9,B’]c:=Z]oh,9?KMEFGfL9,B
JS9?@ KML< N,OI:=EF:=OIDhV9,Bh,GIEMJS>,OI:v]cLQZ KMLQ?JSBFG`KG^@i:JSBJS9?@UN,ZFGf,h0‡Y:=ZBAp,BMKlV:@0h,OI:=ZFB]cLZ)BFN?:K\GX]oDmGI9,TKML< ?:dEwn):=:d9 1 g•B$JS9?@;O`JS9VTQh?JeTQ:=BGI9 ‚i:KMEGIL9 ° q ° q 8  
& Q©GIB JBF:=E Le])BD07LQOIBp7ZhVOf:dBg]cLQZgKMLQVGf9VGf9VTEl,:=< acGIEB -" $=k=pJS9?@ Zh,OI:=Bv]cLZ)GI90E:=ZFN,Z:dEGI9,TKMLQ,GI9?JeEGILQ9VB‘Le]‘BFDm7LQOIBacGIEF9 B ©  08 k=qŽnLJSN,N,ZFLmJKlV:=B EL;B:=,OILiKF§0Bq ™~:_mGI:=n 1 g•B5JeE EwnLsOI:=_Q:=OIB Le]JS>,BFEZMJQKMEFGfL9"q8E EFl,: l,GITl,:=Z OI:=_:=Owp"n: EMJS§Q: El,:_0GI:=n'LS] El,:E[JSTTQ:@–BFGfT9?JSO7:@˜Gf9 B:K\EGILQ9 ° q ? qŽl,: Ž$‚ 1 JS>VBEZMJQKMEFGILQ9}@0:\W?9,:=B#N,ZL,KM:=BFB:=B JS9?@;ElV:=GIZ$GI90E:=ZMJQKMEFGfL9h,BGI9,T BGITQ97JSOIB)KML< N7LQB:A@LS]N?JSZFEG`JSOIOID LZ[@0:=ZF:@:=_:=90EBAp,GI9Eh,ZF9sKMLQ?:U>?LEl]oh,9?KMEFGfL9?JSO7>7:=l?JA_0GILQZ)Je9?@ KML< ?:dl?JA_0GfLZqgŽl,GIBgGIB J @0:=9VLQE[JeEGILQ97JSO_0Gf:dn pYEl,Lh,TQlGfEgGIB$9VLQE JSBFBL,KMG`JSEF:@nGIEl}J;N?JeZwz EG`KMh,O`JeZ
O`JS9,Th?JST:Qq"™~:#h,B:gEFl,GIB< L,@0:=O,EFL KMLQVOfD KMLQ9 7G^K\E
nGIElBEMJS9?@VJSZ[@Ch,B[JeTQ:GI9BL< :KMLQ?:KML9,BGIBEF:=90E5nGIEFl}BFE[JS97@,JSZM@h,B[JeTQ: Gf9~JSOIOZ:dO^JeE:@~K\LQ< 7:=GI9,T NVZ:KMGIBF:Qp7:=_Q:=9JSEElV: ZGIB§;LS]
>7:=GI9,TN?:A@,JS90EG`KSqŽl,:g>?JeBG`K N,ZGI?:gGI9“‚i:KMEGIL9 ° q F q%Žl,:N,ZFGfVh,GIO^@iGf9VT$>,OIL,KF§mB{]cLQZ BN7:KMGW”K=JeEGILQ9sJe9?@;Gf?JeBG`KN,ZFGI< GIEGI_Q:dB‘JS97@ KML9?KM:=N,EFB$JSZF:El,:=9h,BF:@GI9 ‚0:AKMEGILQ9 ? EL KMO`JSBBFG]cD JS9?@;@0:=BMKMZGI>7:5EFl,:g7:=Ewn:=:=9¥J O^Je9,TQh7JSTQ:JS97@GfEFBgh,9?@0:=ZFOIDmGI9,T< L,@0:=OLS]$KML< N,h,EMJSEFGfL9 GIB5GI< N7LQZFE[Je9mEAq®ŽlV:BMJS7:=l?JA_0GILQZgGIBKMOI:JeZOIDsh,9,BFh,GIE[Je>,OI:Qp nl,GIOI: JO`JS9,Th?JST:El?JeE GIB5EFLmL:MP,N,Z:=BFBGI_Q:GIB Le]cE:=9–EL0L}KML< N,OI:MP]cLZ5JS9?JeOIDmBFGIB5JS9?@ BD090El,:dBGIBq
|VLQZ
_:=ZD:\PiNVZ:=BFBGI_Q:gO`JS9,Th?JST:=Bp,OI:=?:AKMLQ,OI: 9,L JSOITLQZGIEFl,,OI:=7:=l?JA_0GILQZ$K=Je9,9,LE>?: ZF:=N,ZF:=B:=90EF:@Bh?KdKMGI9?KMEOIDsGIB JSOIBLUN,ZL>,OI:=,OI:=< B
GIBJSE OI:JSBFE)OIGI9,:JeZGf9;El,:gBFGfxd: LS]El,:gN,ZFLQ>,OI:=< @0:=BMKMZGIN,EFGfL9"p?Je9?@ KdJS9>?: JSB>?J@ JSBBF:=_Q:dZ[JSO EGI< :dBY:MP,N?L9,:=90EG`JSOwpSBFL KlVLmLBGI9,TgJ$O`Je9,TQh?JeTQ:GI95nlVG^KFl EFl,:$@0:=BMKMZGIN,EFGILQ9 LS]?EFl,:j@i:=BGIZ:A@ >?:dl?JA_0GfLZ)Le]‘EFl,: BD0BFE:=< GIBKMLQ7:5KMZFGIEG`K=JSOwq 8 O`JS9,Th?JST: 7: _Q:=ZFDsGI9?KMLQ,BEFZ[JKMEq |,LZ$:MP?JS#%D&"#%&-/:'WVI:-/9:4S' #*8XD'D5:,#%'%&Y4/U,$  '*),U'D#DZ,M

Þ

Z:=NVO^JKM:@CnGfEFl9,LQ97@0:=E:dZ< GI9?JeE:BFN?:K\GXWYK=JSEFGfL9,BEl?JeE)TGf_:jK\LQ9,BFEZ[JeGI9mEFBLQ9EFl,:$>7:=l?JA_z GILQZp>,h,E9,LE)EFl,:$>7:=l?JA_0GILQZGIEB:dOX]Mq‘‚0h7KlsJe>,BEFZ[JQK\EGILQ9;N,ZLS_0G`@0:=Bh,B:\]ch,OYBGI,B:dE5Le])El,:BF:=E Le]jJSOIOVzEFh,N,OI:=BgLS]BGIT9?JSOIBp   ]cLQZUBLQ,BF:=E)Le]  "  Qq%†w9 LEl,:=Zvn)LZ[@0BApmJgNVZL,KM:=BFB$@0:MW?9,:dB$J5­M©   c¬  >?:dEwn):=:d9~Gf9VN,h,E BFGfT9?JSOIB JS97@sLh,EN,hVE BGITQ97JSOIBq 8'a  
SkozwEh,NVOf: &  CGfBUB[JSG`@EL 5  ` ª - 0¦G] &20q†wE$K=JS9>7: nZGIEFE:=9 ' a  " $=k=p0nlV:=Z:  &)GIB$Je9 zwEh,N,OI:gLS] ',
%   ]oLQZN,ZL,KM:dB B 0.Je9?@ $-& GIB
JS 9
dzwEhVN,OI:)Le]%0¬
# ,
%    
]cLZ"N,ZFL,KM:=BB 0qY†o]"EFl,:GI9,N,h,E
BFGITQ9?JeOfB
JeZ:TQGI_:=95>0D &=pSElV:=9 EFl,:B:= E 3'Qa  " $= k  $-&2  @0:=BMKMZGI>7:=B$EFl,:$GI9,N,hVEBp,Je9? @  0 GfBElV:BF:=ELS]‘>7:=l?JA_0GILQZFBjK\LQ9,BFGfBFE:=90EnGIElEFl,:gGI9,N,h,E

 q 8.N,ZL,KM:dB B .GIB"ª
 c¬  0%acLQZ@0:=E:dZ< GI9,GIBFEG`K=k%nGIElZ:dBN7:KMEEL Je9Gf9VN,h,E[„eLQh,EFN,h,E N?JSZFEGIEGIL9 G]‘GIEGfB$JUBGI9,TOI:Mz_QJeOIh,:@Yp0N7LQBFBGI>,OIDN?JSZFEG`JSOwp0,OI:< :AKl7JS9,GIB< ]cLZ < L,@0:dOXz GI9,T]ch,97KMEGILQ9%p)JS97@®JZGITQG`@< :AKl7JS9,GIB< aoBGITQ9?JeOwp
¯QhV:=h,:QpvBl?JeZ:@–_QJSZFG`JS>,OI:Q p !"!#!$
B:d: ‚0:KMEFGILQ9 ° q  kj]cLQZ#< L,@0:=OIGI9,T KML< -g]cLZ)JUTQGI_Q:=9;BN7:KMGW”K=JeEGILQ9acGwq :QqIpQGIE K=Je9s>?:UBl,LSn9ELlVLQO`@;nGfEFlsJ BGI< N,OI:Qph,BFh?JSOIOID N7LQOID09,LQ?:gBFl,LSn9 EFLl,LQO`@>0D:MP,:K\h,EGI9,T7p?JSEOI:JSBFE)GI0D“J @,JSEMJ ?LSn9,:=EwnLQZF§aJj]cLQZF7:@0:=B[K\ZGI>?:A@O`JSEF:=Z[k GfB%]chV9?KMEGIL9?JSOVaJSOIBFLK=JeOfOI:@ @0:=EF:=Z7:KFl,:AK§:@;]cLZ)EFl,GIB) K/!4/+,89&#% 40:-,  6 -/O45"D8'%&K/:4/$*?54@:84/:(,K5 U#%9F!:8#*9-'*&K@:4/$&'F9G:65G #*C S)45#%&-/ : 6 -/O#%O$&4S#>#D! ,!+.!:,'-/:#%  6 -/>28GJM 



Þ

5?

GI< N7LQZEMJS90EYJSBN7:KMEvGf9 @0:=BGIT95GIBELgK=JSN,EFh,Z:EFl,:Gf90EF:=90E"LS]7El,:$@0:dBGITQ9,:dZ‘>0D JS>VBEZMJQKMEFGI9,T JAnjJADUEl,:#9,LQ90zw:=BFB:=90EG`JeO"JSBN7:KMEFBLS]"EFl,:$BFDmBFE:=mDZF:JSOYEFGI< :$JS97@OIGI< GIE:@UZ:dBLQhVZ[KM:=BgEFl?JSEGI< N7LQB:dBjJUTQOILQ>7JSO7LQZ[@i:=ZGI9,T LQ9;:=_Q:=90EFBq š  ) 1}4
 $6,/F2$1žŸ4!$%¢*~47
1}4
 $œb+,6"+,/F4
2 8tŽ$‚ 1 N,ZL,KM:=BFBGIBp
JQKdKMLQZM@0GI9,T}EFL}EFl,:@i:MW?9,GIEGIL9~TQGI_Q:=9%p
JN?JSZFEG`JSOmDŽ$‚ 1 NVZL,KM:=BFB:=BAq 8 N,ZL,KM:dBBGI9 Eh,ZF9 GIB‘KML< N7LQBF:@#LS]Qª
8 c0¬  7¨[©  0;5 o¬S­"Je9?@ 8 ' '¨M©  0;5 c¬e­=q|,h,97KMEGILQ9 GIB$l,LSnEl,GI9,TBl7JSN,N7:=9"pYLZgGf9El,:Ž$‚ 1 p?lVLSn :=_:=90EB5JeZ: Z:=O`JSEF:@yacl,LSnGf9VN,h,EB JeZ: h,B:[email protected]¥KML< N,h,EF:LQh,EFN,h,EBM k %[JSZFLQh,97@ )¥JyN?JSZFEG`KMh,O`JSZ;E[JeT?q¦ŽGI< :GIB EFl,:LQZ[@i:=ZGf9 nl,G`KFl~El,GI9,TB5l?JeN,N7:=9"pLQZ GI9~El,:;Ž$‚ 1 p%El,:sJeBBGIT9,< :=90EgLS]JE[JeTsEL:JQKFl®:d_Q:=90Eq Žl,: @0GIBEFGI9?KMEGIL9~>?:=Ewn:=:=9y]ch,9?K\EGILQ9®Je9?@sEFGI< : GfBU9,LQE EFl,GIB5KMOI:Je9~Gf9~:d_Q:=ZFD KML90E:MP,Eq |,LZg:MP?JS< NVOf:p”J;BFE[JSEF:GI9 J;W79,GIE: BE[JeE:;?:;O`JS>7:=OI:@}JeB >7:=OILQ9,TGf9VT :MP?KMOIh,BGI_:=OIDEFLEl,:U]ch,97KMEGILQ9LQZ$EFGI< : KMLQ7:=l?JA_0GILQZ#LS])EFl,: ,h,EgGIBgZ[JSEFl,:=Z >7JSB:A@LQ9El,:l,GIBFELQZFDsLS]>?LEl"& q +L9,:=EFl,:=OI:=BBAp
EFl,:“@iGf_0GIBGIL9s>?:dEwn):=:d9 ]ch,9?K\EGILQ9sJS97@EGI< :p,N?JeZEG`KMhVO^JeZOIDJeEJ N,ZFGI< GIEGI_Q:#OI:=_Q:=Owp7GIB$h,BF:M]ch,OGI9El,:KML9?KM:=N,EFGILQ9 JS9?@Ch,9?@0:dZBEMJS9?@iGf9VT LS] 1 g•Bq -’ © u¬ ,,©=­  c¬ ;K=JS9>?: _0GI:=n):A@sJSB JBF:=ZGI:=BgLe])N,ZL,KM:dBB5KML< N,hVE[JSEFGILQ9,BAp,BL< :Mz EGI< :dB‘K=JeOfOI:@ v­ '=q"™~:nGIOfO0h,BF:]chV9?KMEGIL9"pSEGI7: 1 g•B$JS9?@;EFl,:=GIZN,ZGI?LElJUBD0BFE:=45#D 6 -/ ),:,#% 28 '>'>#D!28' &' 4/$&'D-0+.-5'D'* U,$&S?/U,)#L&#&' 2 )"D28-/!  :,65-/$&6S.M

Þ

  GfBLQ>0_0GILQh,BFOID JS9:¯h,GI_QJSOI:=9?K\: Z:=O`JeEGILQ9"p0N7JSZEFGIEGILQ9,GI9,TUEl,: BF:=E$Le]
Gf9VN,h,EBGIT9?JSO Eh,NVOf:dB"GI90EL:¯h,GI_QJSOI:=9?KM:KMO`JSBBF:=B%]cLQZY:AJQKFl q|,LOfOILSnGI9,T)JOIL9,TEZMJQ@0GIEGIL9"p=n:
K=JSOIOQEFl,:=BF: :¯h,GI_QJSOI:=9?K\: KMO`JSBBF:=B El,: " ©  Le] Cq †w9~EFl,:l?JSZM@0nJSZ: K\LQ< ?:dEwn):=:d9 El,:dVOf:p0BGI9?KM:gGI90E:=ZFOf:AJA_mGI9,T K=JS9>7:L>,E[JeGI9,:@ ]oZLQ?:A@GI< N,OIG`KMGIEOID JSBEFl,:}BFLQOIh,EFGfL9—LS]5JS9¤JeOITQ:=>,ZMJSG`K;B:=ELe]ˆ:A¯Qh7JSEGIL9,Bq¦ŽlVGfB;B:=E;LS]5:A¯Qh7JSEGIL9,B ,h,Ev9,LQE
KML< N,OI:=EF:=OIDBFN?:AKMGW?:@Yp0LZ
,OI:=?:A@~>0D gŠ$€ LQZ v:=ZGIOILQTJS9?@~@0G KMhVOfEFGI:=BgGf9 BD09?KFl,ZFLQ9,Lh,B[„eZ:JKMEGI_Q:gO`JS9VTQh?JeTQ:=BAq8¤N7LQBFBGI>,GIOIGfEwD nl,:=9;]JKMGI9,TJ5KMD,KMOIG`K$@i:=N?:d9?@0:=9?K\D GIB
EL OI:JA_:$EFl,:$ZF:=Bh,OIEh,9,BFN?:K\GXW7:@Yp,ZF:=BhVOfEFGI9,T5GI99,L9?@0:=EF:=Z?JSOYOI:=_:=O`k=q%Žl,: Z:AJQ@zw< L,@0G]cDzwnZGIE:$JKMEGILQ9;GIB< L,@0:=OI:@;JSB$J BGI9,TOI:$:=_:=90Eq
 $  Žl,GIBGfBJsN7LQGI90EwzwELezN7LQGI90EKMLQ,h0‡Y:=ZGIB)L9,:Qp,GI9;nl,G`Kl K=JeB: EFl,: GI9,N,h,E$Je9?@;LQh,EFN,h,E#:=_Q:=90EFB$7: N7:=Zw]c:AKMEOIDGI9mEF:=ZOI:JA_:@aoGq :QqIp0EFl?JSE :JKlLQhVEN,h,Eg:=_:=90E$OIGI:=Bg>?:dEwn):=:d9}EwnL GI9,N,hVE$:=_:=90EB[kdq JeZTQ:dZ>Vh0‡”:dZB GI< N7LQBF: JU7:=Ewn:=:=9sEFl,: 90h,7:=Z)Le]
Gf9VN,h,ELQZLQhVEN,h,E:d_Q:=90EB#L,K=KMh,ZFZGI9,T GI9;Bh?K=K\:=BBFGfL9"q +LE: El?JeEgBLQ7:

ˆÞ °

™~ZGIEF:=B 9,L D:=B 9,L 7: 9,L D:=B 9,L

‚0GI9,TOI: -b:JQ@0B 9,L 9,L DQ:=B DQ:=B DQ:=B DQ:=B DQ:=B

:=7:@,@0:@;BFDmBFE:=?JK§0TZLQhV9?@§09,LSnOI:@0TQ:;LS]$>?JeBG`KSp9,L90zKMLQ9?K\h,ZZF:=90E 1 g•BBh?KFl JSB |%GI9,GIE: 8$h,EFLQ,ZMJSG`K5‚iE[JSEF: 1 JQKFl,GI9,:=BAp‘Je9?@sn: ]cL,KMh,BL9 ElV: EGI< GI9,T7pQKML9?KMh,ZFZ:=9?K\D}JS9?@KML< 0D EGI?: GI90_QL§Q:@“W?ZBFEp7JSBBlVLSn9GI9|"GITh,Z: ? awJQkdq ‚0h,N,N7LQBF: GIB Gf90_LQ§Q:A@W?ZFBEpJSBBFl,LSn9®GI9®|%GITQh,ZF: ? ac>?kdq +LSn p
@i:=N?:d9?@0GI9,T~LQ9 El,:BFGf7:Gf90_LQ§Q:A@EwnG`KM:Qp%N,ZL,KM:=BFBGI9,TsEFl,::=_:=90EB L9,:“JeE J EFGI< :Qq †w9®EFl,: O`JSEFE:=Z KdJSB:p
ElV:=Z:sGIB 9,L~KMOI:JSZ njJADEL~@0:=EF:=Z7: N,ZL,KM:dBB:A@W?ZFBEAq Žl,: N,ZFLQ>,OI:=?:;BLOf_:@>0D~Z:¯h,GIZFGf9VTsEl,:;h,B:dZ5EFL}N,ZFLS_0G^@i: Js@0:=O`JAD]cLQZ :JQKFl~N,ZFL,KM:=BBAp>,h,E EFl,GIB5GIB 9,LE5KML9m_:=9,GI:=90E Gf9~T:=9,:=ZMJSOwqsŠ:d9?KM:_QJSZFGfLh,BgBGI7::dGfEFl,:=ZO`JS9VTQh?JeTQ: NVZGI< GIEGI_:=B LQZ BhV>,N,ZLTQZMJS< B BN7:KMGW?:A@—GI9¥JS9VLQElV:=Z O`JS9,Th?JST:QpSBh7KlJSB•–LQZ  .  q†w9;El,:#O^JeEEF:=ZjKdJSB:p0n):gJSZ:gJQKMEFh?JSOIOID 0D$h,90>7LQh,97@0:@ |"†| –>,h0‡Y:=ZGI9,T7p‰Je9?@gN,ZFL,KM:=BBF:=B)JeZ: KMLQ9VBEZMJSGI9,:@ EL >7:5KML90EGI90h,LQh,B#,OI:

AÞ

°F

¯h?JS90E[J;Le]bKML< N,hVE[JSEFGILQ9"q 2
JQKFlW?ZFGf9VT K\LQ9,BFh,< :=B JS9?@N,ZFL,@0h?KM:=B EL§Q:=9VBq€$GI_0G`@0GI9,T N,ZL,KM:dBB:dBsGI9mEFLW?ZGI9,TBJA_LQG`@0BElV:s?:BFE[JSEF:=OI:=BBAp
BFGf97KM:GIEˆKdJS9 ?JKF§~ELsL9,: Le]GIEB GI9,N,h,EFBq%8$9 GI9,GIEFG^JeO,EL§Q:=9L9El,GIBB:=O]`zwOILmLNN,ZLS_0G`@0:=BElV:GI9,GIEFG^JeO,_QJSOIh,:]oLQZEl,:#BE[JeE:Qq 1 JS90DN?LBBFGf>VGfOIGIEGI:=Bl7JA_Q: >7:=:=9~:MP,N,OILZ:@;]oLQZ$NVZ:KMGIBF:B:=7LQEFls:MP?JQKME Je9?@sJSNVN,ZLAP,GI?:=:d9 @0:MW?9V:@;]cLZ)EFl,:=7:JSZFB5JBFEZL9,TsKMLQ9V9,:KMEFGfL9}nGIEFlsOIGf9V:JSZ JSOITQ:d>,Z[JVqY†o]"n):Z:dN,Z:=BF:=90EEl,:TZ[JeN,lLS]YEl,: 7LSn®Z:dO^JeEGILQ9;acTGI_Q:=9 JeZ>,GIEZMJSZFD LQZM@0:=ZGI9,TB




°4



p0 t1

t2

p1

p2

t3

t4

p3

p4

t5

t6

p1 p6

t3

p5 p6

t5

p2 p5 p5

p4 p5

t5

t4

t4

t6

p3 p6

p6 t0 t6

t3 p1 p2

t0

t1

p0

t2

p3 p4

(b)

(a)

|"GITh,Z:  2‘PVJe< N,OI:Le]v|VZ:d:ˆ•lVLQG`KM: ƒ%:=EZFG‘9V:=E$JS9?@;GIEB -b:JQKFl?Je>,GIOIGfEwD&/gZMJSN,l LS]
ElV: B:=EFB JS9?@0 k#JSB$JS9Gf97KMG`@0:=9?KM: ,OI:v]cZL< aoBLQ 8-LS]J TQGI_Q:d9s7::MP,N,Z:dBB:A@¥JeB5J;OIGf9V:JSZ KML,GI9?JSEFGfL9LS]$J >7JSBGIBgLS] ‚zwGf90_QJeZG`JS90EB < °  =q Š:d9?KM: EFl,:=D®K=Je9~>?:_:=ZDh,BF:M]ch,OGI9}N,ZFLS_0Gf9VT}ao>,h,E 9VLQE5@0GIBFN,ZLS_z GI9,TmkvB[J‰]c:=EwD NVZLQN7:=ZFEGI:=B ac:Qq T7qfp0EFl,:#]JQK\EEl?JeE$BL< : %[@,Je9,TQ:=ZFLQh,(B )7: Z:JKFl,:@,kdq †w9m_QJeZG`JS90E’z>?JeB:@;EF:KFl,9,G`¯h,:=B >7:KML<  : ?© M© 5 S­ - 0 

 c©  ]cLQZgJZF:=BEFZG`KME:A@ ac>,hVE :MP,N,ZF:=BBFGf_:kKMO`JSBBLe]Uƒ +B}K=JeOIOf:A@~ª=­[©M© ,¬ /M© ?© /"< *° F =pGI9¤nl,G`KFl¤Jy-/),!" 7- 6HP5+.-/:!:,#%&4/$ =)"#%&-/:#>-5KS#%! 9&#* XD-/!Z #*5+.C:-/: *,#D!D2  :, '*2 4/: "-/:"G),>!!:"5M &!!4/!"D,&"4/$'D#D45#>'?5-@: #* -S#*GL4/:.?/9FG=7'%-J9: :8#%45#.+4@+!#>-7U.O4/U,$& #D-0'% 2 ),$&4S#> XD4@:,Z :-/: *,#D!D2 :&'*2 9&#% -/:,$& 40+.-/$&5:-@2&4/$I :"G=45'D :'%&Y5M

?Q°

.



s,4 Y"*0*~6¢1v"$V6‘

‚0D09?KFl,ZL9,LQhVB{|‚ 1 Bp0JSB)@0:dB[KMZFGf>7:@;JS>7LS_Q:QpSl7JA_Q:JK\Of:AJSZ)Je9?@5@i:=E:=ZF< GI9,GIBEFG`K)KML< N7LQBFGXz EGILQ9;< :KFl?Je9,GIB4@=0"-/22 ),:,&"4/#*&-: +,> 2&#%&65'M  -/2+.-5'*&#%&-/:4/$ &#  284/:' #*4S#N#%9F- -/728-/="-/22 ),:,&"45#% :K7+,=-"'>'D'C"4/:(U. 6S&9 4S'N4

:Þ

ˆÞ

ˆÞ

?%?

r

r I

1

II

2 a

a τ

err

err 3

(a) (b) r 1,I

r 2,II

1,I

τ

2,II a

a err 3,I

1,II

(c)

r

err 3,I (d)

|%GfTh,Z: 4 2%P?JS< NVOf:#LS] JS>7:=OI:@ŽZMJS9,BFGfEFGILQ9‚iDmBFE:=0DEl,:UEwn)L N?JSZFE9,:dZBJeZ: BFl,LSn9 GI9s|%GITQh,ZF: 4 qaJAz >?k=q qŽl,:B:=97@0:=Zl?JSBEwnL$BEMJSEF:=BpeW?ZBFEB:=9?@iGf9VTˆJ ­M© :U.O)'D 45' 4 ),:,&#4/:8"-/2+-5'D 9&#%-5#%!!'M !  6L"-/),!'>S?J#%  6 45"# #*45#'D5:"D,!-/:-/),'."-/2+.-5'*&#%&-/:0,4S$&-I"DV,'.9, $&O45'D5:"D,!-/:-/)'W"-/2+.-5'%  #*&-@: ,-' :-5#&' *)'D# 40"-/ :"G&,!:"5M,1*#&' 4S'> #>-"-/:'D#*D)"#.4/:(P4/2+,$&9!!N#%O"-/:,65!!'> "4/: 4/+,+G:LM

Þ

?F

KFl,ZL9,LQh,BA q 2_Q:=90EFB JSZ:;N?JSZFEG`JSOIOIDLQZ[@i:=Z:@ p
9,LE5EFLQE[JeOIOfDLQZM@0:=ZF:@Yp
nGIEFl®Z:d9?@0:=x=_LQh,B N?LGI9mEFB)GI,GIOIGIEwD5Le]{JUN,ZL,KM:dBBgEL?JeBG`KGI< NVOf:d< :=90E[Je>,GXOIGIEoDNVZLQ>VOf:d7LQEl;El,:#BGIx=:gLS] El,:g¯h,:=h,:=B$Je9?@EFl,:$EFLQN7LQOILQTD5Le]"El,:g9,:dEwn)LZ§ K=Je9KFl?JS9VTQ:JeE)ZFh,9 EFGI< :QqvaƒZFL,KM:=BBF:=B K=JS9˜>?:~KMZ:AJSE:A@ LQ9.EFl,: 7Dmp$Je9?@˜BGITQ9?JeOIB K=JS9 >?:ZLh,E:A@¤@0D09?Je< G`K=JeOfOID~>?JeB:@˜LQ9 N,ZL,KM:dBB$G`@0:d9mEFGW?:=ZBAqrk5Šb:=9?KM: EFl,:=D;:=GIEl,:=ZZF:¯h,GIZ: JUBLS]oEwnjJeZ:$GI?JSBF:@ LQ9~J -:JeOXzwŽGI<  : #N?:dZ[JSEFGI9,T}‚0D0BEF:=< nGIEl~@0D09?JS7:=:=9N,ZLS_:=9EL >?: Je9GI9?J@0:¯h?JeE: JS>,BFEZMJQKMEFGfL9LS]‘ZF:JSOIGIEwDh,9,OI:=BFB$BFN?:K\G^JeO‘K=JeZ: GIBEMJS§Q:d9 < =’q |,LZEl,GIBZ:AJSBL9"p78$OIh,Z$Je9?@€$GIOIO < ° ="l?JA_Q:UN,ZLN?LB:@:\PiNVOfG`KMGIEFOfDGI90EZFL,@0h?KMGI9,TEFGf,ZG`@BFD0BE:d,OI::MP?KM:=NVEGILQ9,B LS]ŽGI< :@8$hVELQ7:@—JS>7LS_Q:Qq;†wE GIB OIGI§Q:=OID El?JeEgEl,:=DnGIOIO‘NVO^JADJS9~:=_:=Z GI9?KMZF:JSBFGf9VTsZLOf: GI9~:=7:@,@0:@BD0BFE:=< @i:=BGITQ9®@ih,:EL El,:#TQZFLSnGf9VT9V:=:@EFL Z[JeGIB:$EFl,:$OI:=_:=O7LS]‘JS>VBEZMJQKMEFGILQ9"p0>,hVE
GIE
GIBj@0G KMhVOfEEFL5TGf_:)EFl,:=< J KML< N,OI:=EF:jJe9?@U]JSGIZ
EFZ:JeE,ZFGI:M]‘LS_:=Z_0GI:=n p0JS9?@ n:$ZF:M]c:=ZEl,:#GI9mEF:=Z:dBE:A@ Z:J@0:=Z#EL < ?° =q †w9}EFl,:Ž$‚ 1 p7ElV:=Z:JSZ: EwnLN7LQBFBGI>,OI: _mGI:=nBULS])l0D0>,ZG`@BD0BEF:=< BCaJS97@sl,:d9?KM:LS] Ž8$B[kdq q8ul0D0>,ZFG^@–BFDmBFE:=< a|8uNVOfhVB@0G‡Y:=Z:=90EFG^JeO$:¯h?JeEGILQ9VB[k KdJS9.>7:s< L,@0:dOf:A@¥JeBJ BGI9,TOI:sŽ$‚ 1 N,ZL,KM:=BFBq Žl,GIB N,ZFLS_mG`@0:dB Je9.:JeBD.,h,E#E[JSTB$GI9nl,G`KFl}J EZMJS9,BFGfEFGILQ9LS])EFl,:5Jeh,EL7: L9,OID @0GIB[KMZF:=E:Qq ° q8 l0D0>,ZFG^@;BFDmBFE:=< K=JS9>7:5,ZFG^@;BFDmBFE:=<  LQ9,:NVZL,KM:=BFBpnl,LQBF:BGITQ97JSOE[JSTB5K=Je9~LQ9,OID>?:@0GIB[KMZF:=E:QpvZ:=NVZ:=BF:=90EB EFl,: JSh,EFLQ?:AK=JSh,BF:Qp
JSBgn:nGIOfO
JeZTQhV:O^JeE:=ZApYElV:=D K\LQ,GI9,: GI90E:dZ:=BFEGI9,T}JeBN7:KMEBU]cZFLQ7LQEFl]cLZmDJ   JeEJ N?JeZEFG^K\h,O`JSZ$EFGI< :$GIB#E:=ZF< :@  ,&
m­M©  ',
#

 &“ © wp?Je9?@JS9 GI9,NVh,E$JSBFBGITQ9,?:dl?JA_0GfLZ B:AKMEGILQ97k=q™.GIEl,Lh,E EFl,GIB Z:=BFEZFG^K\EGILQ9"pJTQOIL>?JSO)K\OfL,KF§~nLQh,O`@>7: Z:A¯QhVGfZF:@ EL:MP,:KMhVE: EFl,:   B5JSEgZ:dTQh,O`JSZUGf90EF:=Z_QJeOfBAp"JS97@sEFl,GIB5KMOIL,K§n)Lh,O`@sGI9]JQKMEU>?: J EZFGfTTQ:=ZFGI9,T5GI9,NVh,E]cLQZJSOIO   BqŽl,GIBnLQh,O`@;KMOI:JSZFOfD;GI< N,OID5J ,GIOfGIEwD GI9 EGI?:=l7JA_mGILZq ? :8 D
D?A?& !? $? # 
‚0h,N,N7LQBF:$J$BF:=9?@0:dZj‚ nZFGfEF:=B)@,JeE[J#_QJSOIh,: _ JS! E  ]cLZBGITQ9?JeO tJS97@ :d< GIEB#GfE$Je! E $ q :dEEFl,GIB$:=7: : p7BL EFl,: N?JSGIZ$GIB ac: pQ_ k=qŽl,GIBGfBvGfOIOIh,BFEZ[JeE:@CGI9 |"GITh,Z:g‹,q%8¤ZF:KM:=GI_Q:d Z -.JeE BLQ?:;Z:=BFLQOI_Q:@y>0D}ZF:¯h,GIZGI9,TEl,:JSN,N,ZFLQN,ZFG`JSE: OI:=_Q:=OvLS) ] ¬  / 8-UGf9ElV: < L,@0:dO{Je9?@Gf9~EFl,:GI< N,OI:=7:=GI9,T~LS_Q:=ZFnZGIEEF:=9 >0DsEl,:;B:=97@0GI9,T   BqŽl,GIBgGIB :JSBFGIOfDGI< N,OI:=0DZ:J@0GI9,T}J >,GIEwzw_Q:K\ELQZULS]$GI9,N,h,EU:=_Q:=90EFB5GI9~LQ9V:Gf9VBEZFh?KMEFGfL9"p
JS97@Gf9~l7JSZ[@injJeZ:>0D K\OfL,KF§0GI9,T}JSOIO

ÞÞ Þ 

Þ



Þ

Þ

F?

Þ

X:=v1

emit (X) (e1:=1)

X:=v2

emit (X) (e2:=1)

Sender S

time

Receiver R



Read events





 $

Read value X




 C

Receiver R captures (e1, v2)

|%GITQh,ZF: ‹ 2_Q:=90EM„Q@,JeE[J B:dN?JSZMJSEGIL9"q   }BEFLQT:=El,:dZpYnGIElsJ BF:=N?JSZMJSEF:5ZF:JQ@N,l?JeB:5Je9?@J KML< N,h,EF:„SnZFGIE:gN,l?JeB:;acN7:=Z KMOIL,K§ K\DiK\Of:Ak=q 8ELQ,OI:=< BAq†wE$BFl,LQhVO^@ >?:KMOI:JSZgEFl?JSEgJSOIOILSnGf9VT5GI9,N,hVE$:=_:=90EˆJe9?@s@,JeE[J Z:J@0GI9,TJe9?@LQh,EFN,h,Eg:=_Q:d9mE Je9?@s@,JeE[J;nZGIEGI9,T;EL;l?JSN,N7:=9®JeEKML< N,OI:=EF:=OID JeZ>,GIEFZ[JSZFD EGI< :dB?OI:J@0BEL>7:=l?JA_0GILQZ"nGIEFl _Q:=ZFD @0G KMh,OIEYEL#N,Z:@iG^K\E{Je9?@#N,Z:dB[KMZFGf>7:Z:dBh,OIEBAq /gGI_Q:=9 El,::=_:=90Ewzw>?JSBF:@KMLQ7:=l?JA_0GILQZ LS] J   JeE5:JKFl¥:\Pi:AKMh,EGIL9¥GIB@0:=EF:=ZmD~EFl,: BN7:KMGW?:@ ­   c0¬ ~­[©   c0¬ saoŽ -$k=q Žl,GIB Z:=O`JeEGILQ9GIB5JB:dE LS]$EFh,N,OI:=Ba C


 p $  
!#? # p 



 p  

#?  k nl,:dZ: C
 ! GIB Je9¥GI9,NVh,EJeBwz BGITQ9V< :=90Ep @$ 
!#? # GIBjJˆBE[JeE:Qp 

 ! GIB)Je9 Lh,EN,hVE)JSBFBGITQ9,?k;,BF:=9?KM:C]cZL< B %[@iLQ9
E:=< GIE[„@0LQ9
Ev< L,@0G]cD )mkdq 
#
 ! < :Je9,& F q†o]
$? 

C# C GIB 9,LQEU]cLQhV9?@Yp
EFl,:   KMLQ9,BFh,< :dB9,L}GI9,NVh,EBAp
?:=:d9~B[KFl,:@0hVOf:A@ >0D El,:  /"qQ†o]"BF:=_Q:=ZMJSOYEFZ[JS9VBGIEGILQ9VB
?:gZF:MW?9,:@ Gf90EFL @0:=E:dZ< GI9,GIBFEG`K   Bq 8 w­ '; /  w­ 0  c¬ UGfBLQ9V:GI9;nl,G`Kl9,L LQhVEN,h,E:d_Q:=90EBgJSZF::d< GIEEF:@Yp9,L5Lh,ENVh,E _QJSOIh,:=B
JeZ:$KFl?JS9VTQ:@Yp0JS97@ 9,LgBE[JeE:gKl7JS9,T:GfBv:M‡”:AKME:@ p0>,h,E
GI9,N,hVEB)JeZ:$KML9,Bh,,OI:QpGIBJ®­M© ©  ’©CaoLQZ Gf9VGfEFG`JSOBE[JeE:kdq®†o]gEl,:dZ:sJSZF:BF:=_Q:dZ[JSO Z:=BF:=Eg_QJSOIh,:=Bb]cLQZgJBFE[JSEF:5_QJeZG`JS>VOf:p,ElV:=Z: JeZ: B:=_:=Z[JeO‘ZF:=B:dE BEMJSE:dBq ŽlVGfB#Z:=NVZ:=BF:=90EB J 9,LQ9iz’@0:dE:=ZF< GI9,GIBEFG^K#BFE[JSZFEGI9,T KML9?@0GIEGIL9nlVG^KFl?: ZF:=BLOI_Q:@>7:M]cLZ: BD090El,:dBGIB LQZBGI7: N?:dZw]cLZ< :A@Yq Žl,: '&  /  w­ 0  c¬   GIB JsBFN?:AKMG`JSOgEZMJS9,BFGfEFGILQ9YaoB[k nl,:=ZF:sElV:NVZ:=BF:=90EBFE[JeE: N?JSZFE)GIB:¯h?JSOYEFL5EFl,:gZ:=BF:=E$BFE[JeE:Qq 1 LZ:=LS_:=ZpVEl,GIBEZMJS9,BFGfEFGILQ9 GIBJSOIOILSn):A@ EL 9,LQEl?JA_Q: JS90D~GI9,N,h,E :=_:=90EBN,ZF:=B:=90EGI9®EFl,:Gf9VN,h,EJSBBFGITQ9,,hVE GIB9VLQEgZ:¯h,GIZF:@Yq Žl,:=ZF: ?:gBF:=_Q:=ZMJSON7LQBBFGI>,OI:GI9,GIEFG^JeO?EFZ[Je9,BGIEGIL9,B$@0:=N7:=9?@0GI9,T;LQ9ElV:GI9,GIEFG^JeO?BFE[JeE:SaoB[kgJS9?@ El,:#_QJSOIh,:=BvLS]"ElV:ˆK\LQZZF:=BN7LQ97@0GI9,T5GI9,NVh,EjJeBBFGfT9,< :d9mEFBq%†o]"El,:dZ:gGIB
9,LQ9iz’@0:dE:=ZF< GI9,GIB7LQh,97@0:@ a z’@0:d:=N?k9,L90zw>,OILiKF§0GI9,T$>Vh0‡”:dZBp,Je9?@ @0G‡”:=ZF:=90E
]oZLQ7LQh,97@0:@ JS9?@CEl,:UN,ZL,KM:=BFB$9,:dEwn)LZ§ELN?LOfLTQD GIBW,P,:@Yq 1 LQZF:=LS_Q:=ZApS:JKl   uK=Je95>7:)7:=O K=JS9~GI90_QLOI_Q: N,ZF:=B:d9?KM:sJS9?@~Je>,B:d9?KM: EF:=BEFB5Le]$B:=_:=Z[JeO)BFGITQ9?JeOfBApYnl,GIOI:GI9 •‚,ƒp%••‚Yp JS9?@;‚,€ :JQKFlO`JS>7:=O‘K\LQ9,BFGfBFEBLe]vJUBGI9,TOI:BFD0?LOq ‚0GITQ9?JeOfB JeZ:}@iGfBFEGI9,Th,GIBl,:@˜JS< L9,TGf9VN,h,EBJS9?@–Lh,EN,hVEBqŽZ[Je9,BGIEGIL9,Bph,9,OIGI§Q: @,JSEMJ ?LSn—9,:dEwn)LZ§0Bp7K=JS9>7:ˆK\LQ9?@0GIEFGfL9,:@CEL El,: Q¨ ©  [©ˆLS]
JS9 :d_Q:=90E$LS_:=ZJ BFGfT9?JSOwq Š:=97KM:5•|‚ 1 BgJSZ:g9,LE$KMLQ90EFGf90h,Lh,BGI9 Jel,9
BB:d9,B: < ?  =
aJeZZFGf_QJeOYLS]Ewn)L:=_:=90EB#Gf9 @0G‡”:dZ:=90ELQZM@0:=ZFB$?:=l7JA_mGILZ[k=q Žl,:
B:d?:dEwn):=:d9}EFl,:5EMJSTBLS]
GI9,N,h,E:=_:=90EBgGI90_QLQOI_:@GI9sJTGf_:=9EZMJS9,BFGfEFGILQ9"pV9,LQZ >?:dEwn):=:d9~El,LB: Le]jGIEFBLh,ENVh,E :=_:=90EBq;Žl,:=ZF: GIBgLQ9,OID}J;N?JeZEFG^JeO
LQZM@0:=Z ZF:=O`JSEFGfL9,BlVGfN >?:dEwn):=:d95GI9,N,hVE"JS9?@gLh,ENVh,E":=_:=90EBLS],EFl,:
EZMJS9,BFGIEGILQ9aoGI9,N,h,EFB"mD < :AJS9,BLS] N?JeGfZFBLQZBF:=EB#LS]‘BFGITQ9?JeOfBAp0>?:dEwn):=:d9sEl,: •|‘‚ 1 Bp  LQZg>0Dh,BGI9,T;B[KFl,:@ih,OIGf9VT E:AKlV9,G`¯QhV:=BgEl?JeE:d9,Bh,ZF:El?JeE$9,L;Bh?KFlOILQBBgK=JS9:=_:=Z L,K=KMh,Z <  =q



 6 #¢%*}47

  "¡#6 $/4
,* †w9sElVGfBgBF:KMEGIL9,B n:5N,ZFLS_0G^@i:5JC]c:=n¦:MP?JS?:\z l?JA_0GILQ4Z )#nGIEl J#Z:=O`J‰Pi:A@ EGI< GI9,T#< L,@0:=O0Bh7KlJSB   }BpJS9?@ n:$@0GIB[KMhVBBEl,:9,LEGILQ9 LS]$¨[©  0;5 o¬S­5© 7:K=Jeh,B: EFl,:g:MP,:KMh,EFGILQ9 EFGI< :LS] •¦GIB#EL0L OILQ9VTJS97@sK=JShVB:=B GIE#EL< GIBBEFl,:UW?ZBFEGI9,NVh,Eg:=_Q:=90EFBˆJ‰]cE:dZEFl,: :=ZZFLQZq 8$OIBFL8 JS9?@ .JeZ:gEL0LBOILSn¤Je9?@;< GIBBJS9;GI9,N,h,E:=_:=90Enl,:=9sZF:KMLS_:=ZGI9,T7q F q 2%P,:KMhVEGILQ9,BUGf9nl,G`KlElV: @0:=O`JADLS])8 p ¦JS9?@•¦GIBgB,OI:Qq +LQEF:l,LSn…El,:9VLQEGIL9~LS]:¯h,GI_QJSOI:=9?KM: K\O^JeBBF:=B“KdJS9®>7: JSNVN,OIGf:A@ELsJS9?JeOIDmxd: JSOIBL :MP,:KMh,EFGILQ9,B GI9~nl,G`Kl®J B[KFl,:@0hVOf:dZ KML0LQZ[@iGf97JSE:dB   B5>0D:=90]cLZ[KMGI9,T,OI: a < F Œ0p  p F ‹ =«kdq
8#BJ Z:dBh,OIEp7BFLQ< :g>,hi‡”:=ZFB$>7:KML< : BFE[JSEFG`K=JSOIOIDBGIx=:@ p”JeB$@0:=EF:=Zwz < GI9,:A@ >mDEFl,:$BFE[JeEG`KBMKlV:@0h,OI:gLS]Z:J@0:=Z$JS97@nZGIEF:=Z)NVZL,KM:=BFB:=BAq)ŽlV:ˆ@i:=BGITQ9V:=Z BGIx=:dB5EFl,:5ZF:=,hi‡”:=ZFB EL:=9VBh,ZF: GI< N,OI:=,GIOXGIEwDQp,JS97@sEFLhVB:BGI,ZG`@ @iDm97JS< G`K=JeOSBD0BEF:=< B%El,:dLQZD JS9?@gEFl,: ‚04† /3+b8 O`Je9,TQh?JeTQ:Q6 q ( 7­ 05 %8 c0¬ “0¬ 
#¬   /
)¬ w­[0¬ Xp ?  a  k Q°   ŒVq F 4 p 1 JAD < #Œ =3/q 
:dZZD0q8…l?JeZ[@0nJSZF:Gf7L0LQOI:JS9 ]ch,9?KMEFGILQ9—

5 0- '

 14

 0


-   



 
01  ,+%

5?



(    *

*




5  :

5

*




/ 9(

(

   # 0 

09,
% 



?

25 ,

 

5  ' 5



 3
'  '

4


,  

 5 /  0



 / 

6,
#

 

= 



#( 8  0 0
 

6,
#



')
  




 
 : 2   01

 ' /

-  /  " 
1  ,&#)1!   
  5  #?



-

#?


%   /

-

0 /

 4  

 

'






-  



?

(

 




/



?

 
 0

,
# ) 0

- 

  



%?

%?



< °F =






%(

Þ



q
€#:=BF:=O JS9?@ q 2{BN?JeZxJVq ƒZ:dBBp+b:=n LQZ§Yp  q

 05 %8  0

09,
# 

­M©[© ,¬ /M© j * ©w­ ?  © =q.•JS,ZFG`@0TQ: 9,GI_Q:=ZFBGIEwD F

q,€#:=BF:=Owp 5q zƒq +:=hV:=9?@0LZw][p7JS9?@ 1 q z’€ q-$JQ@iLQO`J,qYƒZFLS_mGI9,T 9,L90zZF:JQKFl?Je>,GIOIGfEwD >0D < L,@0h,OILezGI90_QJAZG`JS90EFBq i©M¬S­M© / 
)¬09,
%©d­  c© [©dp %? a z ° k F  4F p 4 q < ° 4 = € qQ€#Zh,BFGf9VB§0G?JS97@5€ qQŠ#JSZ:dOq #9ElV:N?LSn:=Z
Le]”>7LQh,97@0:@KML9?KMh,ZFZ:=9?K\Dmq0†=qQ|%GI9,GIE: JSh,EFLQ,OI:Qp?|VZ[Je9?KM:Qp h,9,: F q

Þ

(  *)­[ ¬ ,‹ q < F =32q085q :=: JS9?@CŽ q 1 q,ƒJSZF§mBAq‘€gJeE[J 7LSn¥NVZL,KM:=BFB$9,:=EwnLQZF§0Bq *)­M¬5M©M© 'ˆ¬’ª  i© ()p 1 JAD  q

< F Œ#=32qY8 q :=:JS9?@€ qD/q 1 :=BBF:=ZBMKlV< GIEEAq‚0D09?KFl,ZFLQ9,Lh,B5@,JeE[J ?LSn q

AÞ

M©[©0 '\p,‚i:=N,E:d?:=Z

Þ




< Fm° =32q85q :=:sJS9?@–8 q
‚,JS9,TGILS_QJS9,9,Gz $GI9?KM:d9mEF:=OIOIGqŽl,:E[JeTQTQ:A@~BGIT9?JSO?LZ9¤JeEE[JKF§®LQ9—BFE[JSEF::MP,N,OILQBGIL9"q ¬e­   !}©  i¬  ' -’ ©  ˆ©  ,p a F k
° ‹  ?Q°° p Q° q < 4F = ƒqrŠ q qM_QJe9 2{G R\§”pA•gqA85q #GIBB:dZBpJS9?@ 1 q€#G`JSxQpd:@0GIELZBq i© ¬S­  &Q© 5=­ ,& c¬  ’© &