HAL Id: inria-00000370
https://hal.inria.fr/inria-00000370v2
Submitted on 2 Aug 2007
HAL is a multi-disciplinary open access archive for the deposit and dissemination of sci- entific research documents, whether they are pub-
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,
Weakening the Weak Sequential Composition in Scenarios
Loïc Hélouët
To cite this version:
Loïc Hélouët. Weakening the Weak Sequential Composition in Scenarios. [Research Report] RR-6262, INRIA. 2005, pp.28. �inria-00000370v2�
a p p o r t
d e r e c h e r c h e
Weakening the Weak Sequential Composition in Scenarios
Loïc Hélouët
N˚6262
Septembre 2005
Systèmes communicants
*,+.-#/10'2435+76984:
;=<?>A@CB$DFEG>H$IJDFDKMLONPHGQRLS@C>
TVU
IRWAE@,XZY[;?\]YA^,_`ba1a
],QJcMcdI U@eME U EfH#gME U H#gMEhLi4j4kRjSkmln;=EGc?@oEGDp U EkRqJqSrsltkJucOQRv4EG>
wyx9zG{$|~}MJ{J aEf>o>CQRv4E;=EGSKMEGLOHEb_g.Q U @C> Q U E,Qc.I4cMKMQ UVI U DQJN>[D I U @ogMEbe?EG>oNPvJLI eMNP>[@ U NpOK?@oEfe
>o<?>A@CE$D>VE$?EGHKM@oNPIJLO> pOQJ>oEGeI4Lc.I4D>[E$@&HI4DFc.IS>[N@oNPIJL),I~&E$4E Uf @CgMNP> I U DQRPNP>oDNLN@C>pOQ4>[NH I U D
N>FLMIJ@E?c U EG>C>[NPJE E$LMI4KMvJg@oIDFI?e?E$,@A<ScONPHGQRpdE$gOQ=NPI U >>oKOH#gQJ>>oNe?NPLMvNPLOe?I~,>FE?EfHK?@CNI4LO>$
>[I4KM@oNPIJLN>@oImE$DpdEGeNLa ;O_&>@CgMEE$=c U Ef>o>oN4Ec.I~&E U I HI4DFDKMLMNH$QR@oNPLMvmQJK?@oI4DFQR@CQ Q4>NPL
_&a ;O_&>1QJLMIR@CgME
U
E$=@oE$L.>[NPIJLI
aEG>C>CQRvJE>oEGSKMEGLOHEH#gOQ
U
@#>C,I~&E$JE
UG
DFI4>[@Fp.QJ>oNPHc
U
IJpOEGDF>
pdEGH$IJDFE KMLOe?EfHNeMQRpMPE
I U
_&am;O_&>G\ gMNP>cOQJc.E
U c U
I4c.IS>[Ef>QJLE=@CE$LO>oNI4L@oI¡DFEG>C>oQJvJE >[Ef4KOE$LOH$E
H#g.Q
U
@C>gMNPH#gE=@CE$LOeM>9@CgME E?c
U
EG>C>[NPJEc.I~&E
U I
am;O_&>)gMNPPE&c
U
Ef>[E
U
=NPLMv,@CgMEe?EGH$NPeMQJpMNPN@A<I
>[I4DFE
c U I4c.E
U
@CNEf>$)\ gMN> DFI?e?N¢.H$QR@oNPIJLE$S@CE$LOeO>>oEGSKMEGL4@CNPQJ.H$IJDFc.IS>[N@oNPIJL
pMKM@ >[@oNP
U
E$P<I4LyHI4DFc.IS>[N@oNPIJLO>
I
HPI4>oEGe'HI4DDKMLMN[email protected]~@[@CE
U
LO>£DFEf>o>CQRv4EG>&Q
U
EZEGDN@[@CEGe QRLOe
U
EGHEGN4EGeNPL'@ogME>CQRDFEsc.I4DF>oE@¤¤
\ gONP>cOQRcdE U vJNPJEf>Qe?E¢.LMN¥@CNI4LyI @ogMN>&LME$ I UDQRPN>[D¦H$QJPEGe§[>oNe?NPLMv~¨DFEf>o>CQRv4EZ;=EGSKMEGLOHEbH#gOQ U @C>
I U ;?am;O_&>#¤s;?am;O_&>ZH$QRLmp.ENP¥© I U DFEGe QRL.eEc U I~=Ne?EQe?EfHN>[NPIJLmc U I?H$EGe?K U Es@oI e?E@[email protected]
@ U QJLO> I U D>oKOH#gª;?a ;O_&>yNPLS@oNs&E$P¥©I U DFEGeIJLOEG>G«\ gMEGL @ogOE E$=c U Ef>o>oN4E1cdI~E U I ;Mam;O_&>'NP>
H$IJDFcOQ U Efe@oIF@CgOQ~@I Zam;O_ ; _&a ;O_&> >[K U E_&am;O_&>QJLOeam;O_c U IRWAEfH¤@oNPIJL.>$
¬S®7¯C°±
|~²9zJ ;MHE$L.Q
U
NIS>
&EGQR³'>[Ef4KOE$LOH$E
´µ·¶o¸º¹G» ¶¼9½P¸º¾5¿À
z EG>aEf>o>CQRv4EF;?EGSKME$L.HE'_gOQ U@#>>[I4L4@KML I UDQRPN>[DFEFpMNPE$LHI4LML=K¡SKMNVcdE U DFE@e?E
eGH U NU EeMEG>sHI4DcdI U @oEGDFE$LS@C>be?E>o<?>A@CB$DFEG>be?N>A@ UNPpMKf>sQRK1DFI~<JEGL1eI U e U Ef>c.Q U @oNPE$>$_E$cdE$LOeOQRLS@
eOQRLO>>CQ I U DENPLMN@oNQRPE H$E I U DQRPNP>oDFEbLEf>A@,cOQ4>>[K>CQRDFDFE$LS@,E$=c U Ef>o>oN c.I4K U efH U NU EsEf>,HI4D©
cdI U @oEGDFE$LS@C> @A<=cMNSKMEG>e?Ec U IR@CI=H$IJPEG> QJH@oKMEGP> H$IJDFDFEcOQ U E?E$DFcMPEEf>cMgGLMIJDFBGLMEG>Ze?E E$L$@ U EG>
v4N>C>oQJL4@CEG>G,LMEy>oIJPK?@CNI4Lc U I4c.IS>GEeMQRL.>PEG>_&am;O_&>H$IJLO>oN>A@CENPL4@ $v U E U QRK?am;O_&>PQ1cMKMN>A©
>CQRL.HEeE?c U EG>C>[NPIJLe?Ef>QRK?@CIJDQ~@CEG>H$IJDFDKMLONPHGQRLS@C>G'H$E$cdE$LOeMQJLS@ PQcMPKMcOQ U @eMEG>c U I4c U N!@ G>e?E
p.QJ>oE,4KON"$@CQRNPE$LS@eGHNeMQJpMEf> >oK U PEG>am;O_&>&e?E$=NPE$LMLMEGLS@ NL.eGH$NPeMQJpMPEG> eOQRLO> Ef>&_&am;O_&>GV_E@&Q U@CN¥©
H$E c U IJcdI4>oE&KMLME E=@oEGLO>oNI4Le?Ef>)am;O_&> SKMN$@oE$L.ePE$K U cOKMNP>C>CQRLOH$E&eE?c U EG>C>oNI4L@oI4K?@ E$Lc U G>oE U QJLS@
Q eGH$NPeMQJpMNPN@#e?EFHE U @#QRNPLMEG>bc U IJc U N!@#f>ZeMEG>sam;O_&>GF_E$@[@oEDFI?e?N¥¢dH$Q~@CNI4L$$@oEGLOemQ HIJDFcdI4>oN¥@CNI4L
>#GSKMEGLS@oNPE$PEFe?Eam;O_&> DQRN>s>%QRcOcMKMNPE@CIJK~WAI4K U >b>oK U KMLOEFH$IJDFcdI4>oN¥@CNI4L e?EFDFIR@CN>e?EH$IJDFDKMLON¥©
HGQ~@CNI4LO>HPI4>Ef>DFEG>C>oQJvJEf>b>oIJLS@&GDN>E$@
U
E('KO>eMQJLO>PED)$DFEI
U e U
Ef'_E@Q
U
@oNHPEe?I4LMLMEKMLME
e¢OLMN@oNPIJLe?EH$ELMIJKOJEGQJK
I U
DQRPN>[DFEQRcMcdE$!§o>[PNPeMNLMvR¨FaEf>o>CQRv4EF;?EGSKME$L.HE'_gOQ
U
@#>£IJK;?a ;O_
c.Q
U
PQs>oKMN@oEf EG>V;Ma _&>)c.EGKMJEGLS@*$@
U
E NLOH$IJg
U
EGLS@C>
E@VLMI4KO>
IJK
U
LMN>o>oIJLO>9KMLOEc
U
I?H%Ge?K
U
E e?EeGH$N¥©
>oNPIJLcdIJK
U @ U QRL.>
I U DFE
U
e?EG> am;._&>NPLOH$IJg
U
EGL4@#>VEGL'am;O_&> H$IJg
U
EGL4@#>$ QcMKMN>o>CQRL.HEZe+E$=c
U
Ef>o>oNI4L
eMEG>,;?a _&> Ef>A@EGLO>[KON¥@CEsH$IJDFcOQ
U
GE,HEGPEe?EG>am;._&>
eMEG>_&am;O_&>
E@,e?Ef> c
U
IRWAEGH@oNPIJLO> e?Eam;._&>$
-± {fz ¯ /. ;MHE$L.Q U NIS> HI4DFc.IS>[N@oNPIJL>fSKME$LS@oNPE$PPE
99!
243 5
{G| ± ² 9R{6± 5 7
8 - zfzG}9 ,:"<; 5 +=?> }?|{Gz @
ACBED
-F:G= zJ
D
-F:G=IH | ±<Jf J{6± 5 z K
7 = D
-F:G=: L
@ : .6²M65 9 : 5 }?|6 ± z 2<N
K =± H }M|'6z ± 5 ° 6{ >± { >9 |.} 5 9"9}O9 z 8O7
P =± 5 .9z6± 5 8 P
"() '%
;?E$JE U QJ >CHE$L.Q U NIQRLMv4KOQRv4EG>sgOQ4EyQRcOc.EfQ U EGe @ogMN>PQ4>A@Fe?EGHGQJe?EaEf>o>CQRv4Ey;=EGSKMEGLOHE_gOQ U @C>u
N4E';=Ef4KOE$LOH$E_gOQ U @#> a >>oEGSKME$L.HE'eMNPQJv U QRD>r P¡\ gOEG>oEyQRLMv4KOQRv4EG>e?EGcMNH¤@FNLS@oE U©
Q4H¤@CNI4LO>bp.E$@AEGE$LIJp?WAEfH¤@#>sI QeMNP>[@ U NpOK?@oEfe >o<?>A@CE$D >oKOH#gQJ>QHI4DDKMLMNH$QR@oNPIJL¡c U IJ@oI?HI4 E U <
I @oEGL e?N>A@ U NPpMK?@CEGey>o<?>A@CE$D> Q U Eb>ocdEGHN¢OEfeKO>oNLOvc U I?HEf>o> QRPvJEGp U QJ>VI U H$IJDFDKOLMNPHGQ~@CNLMvFQRKM@oIJDQR@CQM
gONPE@CgMEG>oEbDI?e?EGP> U E$c U EG>oE$LS@ >[<?>[@oE$D>&=NPQcOQ U QRPPE$7HIJDFcdI4>oN¥@CNI4LI HIJDFDKMLMNH$Q~@CNLOvDQJH#gONLMEf>
>CHEGLOQ U NPI4>)Q U Ee?E¢OLOEGeFQJ> >oEGSKMEGL4@CNPQJMHI4DcdI4>oN@oNPIJLI HIJDFDKMLMNH$Q~@CNI4Lc.Q~@[@CE U LO>G9XZEG>ocMN@oE @ogOE>[<=L?©
@#QJH@oNH$QRe?N7E U E$L.HEG>,p.E$@AEGE$L1>CHE$L.Q U NIPQJLMvJK.QRvJEf> @CgME$<Q U EQRPpMKON@ £U IJD @CgME>CQRDFENe?EGQ V@ogOE$<
c UI~=Ne?EHI4DFc.IS>[N@oNPIJL1DFEfQRLO> I U cdIJD>[E$@C>GsY L1@ogONP>bcOQJc.E UG &ENP)DQRNPLMP< I=H$KO>ZIJL Nv4g?©ºEGJE$
a1EG>C>oQJvJE;=EGSKMEGLOHE_gOQ
U
@#>a ;O_&>C QJLOe'@ogMEGN
U
~Q
U
NQRLS@C>G
Zam;O_&>H$QJL'pdE>[EGE$LQJ>&I
U
e?E
U
QJK?@oI4DQ~@CQvJEGLME
U
Q~@CNLOvcdIJD>[E$@
QRDFNPNPEG>GV\ gMEb@
U
QRLO>oN¥@CNI4LO>I
Q
Zam;O_Q
U
E&QRpdE$PEGeN@ogpOQ4>[NH aEf>o>CQRv4E&;=EfSKME$LOH$E_g.Q
U
@C>&£pOam;._
gMNH#gQ
U E U
I4KMvJgO<>oc.EfQR³=NLOv
cdIJD>oE@#> e?Ef>oH
U
NPpMNPLMvQRLNPLS@oE
U
Q4H¤@oNPIJLQJDFIJLMvH$IJDFcdIJLMEGL4@#>VI
Qe?N>A@
U
NPpMK?@CEGe>o<?>A@CE$D
T
I4DF>oE@ HI4D©
cdI4>oN@oNPIJLN>>oKMcMcdI4>oEGeH$IS>[E
U
@oIgSKODFQJLKMLOeME
U
>A@#QRLOe?NPLMvI
e?NP>[@
U
NPpMK?@oEfepdE$gOQ=NPI
U >
QJ>VN@E$?cMNHN@oP<
U E$c U Ef>[EGL4@#>HI4DDKMLMNH$QR@oNPIJLO>QDFEG>C>oQJvJEFE$DFN>o>oNPIJLQRLOe U EGH$E$c?@CNI4LKO>[K.QRP<¡QRcMcdEGQ U >NPLQ1>oNLOvJPE
H$IJDFDKOLMNPHGQ~@CNI4Lc.Q~@[@CE U L.¤ \ gMN>N>g=<>CHEGLOQ U NIS>Q U EI @CE$L U EGHI4DFDEGLOe?Efe I UUEGSKMNU EGDEGLS@
HGQRc?@CK U E I U @CI'e?Ef>oH U NPpdE@A<=cMNH$QRE?EGH$K?@oNPIJL.>I e?NP>[@ U NPpMK?@oEfe1>o<=>[@oEGDZ,I~&E$4E Uf Zam;O_&>bQ U ELMIR@
E$?c U Ef>o>oNPJEE$LOIJKMv4g@oIDI?e?EG.pdE$g.QSNPI U >V>oKOH#gyQ4> E$=EfHK?@CNI4LO>VI >[PNe?NLOvNPLOe?I~,>Vc U IJ@oI?HI4P>G9\ gONP>
HGQRLpdEH$IJLO>oNPeME U EGeQJ>ZQ U EGQR9e U QpOQJH#³ I U Qy[email protected]~@ZDKO>[@ U E$c U EG>oE$LS@@A<=cMNH$QR9pdE$gOQ=NPI U >
I e?N>[@ U NpMKM@oEGe>o<?>A@CE$D>$
\I>[I44Ey@CgMNP>c U I4pMPE$D >oE$4E U QR&Q U NQRLS@#>I am;._&>gOQJE pdE$E$Lc U IJcdI4>oEGe·_IJDFcdI4>oN¥@CNI4LOQR
;?EGSKME$L.HEF_g.Q U@C>j£I U _&am;._&> I U >ogMI U @#Q U EQRLmE=@oEGLO>[NPIJLI am;._&> gME U EHIJDFDKMLMNH$Q~©
@CNI4LO>&Q
U
E,LMIR@QRP Q<=> e?E¢OLOEGeN@ogONL Q>oNLMv4EZpOQJ>oNH,cOQR@[@oE
U
L"9]I4KMvJgO<>oc.EfQR³=NLOv
HIJDFcdI4>oN¥@CNI4LOQR
>oEGSKMEGLOHEH#g.Q
U
@C>Q
U
Ea ;O_&>,E$S@CE$LOeMEGeN@og@ogOEQJ>o<=LOH#g
U
IJLMI4KO> HIJDFDKMLMNH$Q~@CNI4LO>I
H$IJDFDKMLON¥©
HGQ~@CNLMvQRK?@CIJDQ~@#QM ,I~&E$4E
Uf
@CgMNP>
I U
DQJN>[D gOQ4> QpMNPvJv4E
U
E?c
U
EG>C>[NPJEZc.I~&E
U
@ogOQJL'H$IJDFDKMLONPHGQ~@[©
NPLMvQRKM@oIJDQR@CQ
QRLOe>oIJDFE>[NPDFcMEc
U
I4pMEGD>>[KOH#gQ4>e?EGH$NPe?NPLMvgME$@ogME
U
Q DEf>o>CQRv4EFNP>>[email protected]
U
EGH$E$NPJEfeNPLQ~@ PEGQ4>A@ QJLE$?EGHKM@oNPIJLI
Q_&am;O_Q
U
E KMLOe?EfHNeMQRpMPEJIR@oE @CgOQ~@&>[EGJE
U
QRS@
U
Q4HE
U
E$Q~@oEfe
c UI4pMEGD>PQJLMvJK.QRvJENPLOHPKO>oNI4L NPL4@CE U >[EfH¤@CNI4LmE@#HRQ U EFQRU EGQJeM< KOLOe?EGH$NPeOQRpMPE I U a ;O_&>G !£
pOK?@@og.Q~@y>oIJDFE1SKMEG>[@oNPIJLO> UEGv4Q U e?NPLMv @ogME1>[@ U KOH¤@CK U EI @ogME1cdIJD>oE@ QJDNPP<v4E$LME U QR@oEGe U E$DQRNPL
eMEGHNeMQJpME I U Q'Q U vJEF>oKMpO>oE@I a ;O_&>"#Gq gOQJ>sNe?EGL4@CN¥¢.EGeQHQJ>C>ZI Zam;O_ I U gMNH#g¡@ogME
cdIJD>oE@ QRDFNP<'vJEGLME U Q~@CEGeN>,am;.`he?E$¢OLOQRpOE¤
LMIR@CgME U e U QpOQJH#³I _&a ;O_&> N> @ogOQR@&>oIJDFEI U e?E U >VvJE$LOE U Q~@oEfeFp=<@CgMEZ>oKMcMcdI U@&QJK?@oI4DQ~@oI4L
H$IJLS@CQJNLDI U E U EGHEGc?@oNPIJL.>@CgOQRLE$DFN>o>oNI4LO>G,EGLOHE @ogOE$<H$QJLMLMIJ@pdEHIJL.>[Ne?E U EGeQJ>~QRPNPeE?E©
H$K?@oNPIJL.>ZI _&Zam;O_Z\ gMN>sNP>Q U EGQR e U QpOQ4H#³ I @CgMEFPQJLMvJKOQJvJE Q4>Z@ogMEFNPLS~QJNemI U eME U >ZQ U ELMIR@
NPDFDFEGe?NQ~@CE$P< =N>[NPpMPEQ4>ZQ'>A@ U K.H¤@oK U QJc U IJcdE U @A< I @CgMEQJK?@oI4DQ~@oI4L >oKMpO>oE@bI _&am;._&>ZHGQRPEfe
§o>oK U E¨_&a ;O_&>g.QJ>,pdE$EGL1c U IJcdI4>oEGe·
_&am;O_ N>Z>oK U EN QJI U e?E U >v4E$LME U QR@oEGep=<'@ogME>[KOcMc.I U@
QJK?@oI4DQ~@oI4L H$IJLS@CQJNL @CgME>oQJDFELSKODpdE U I EGDN>C>[NPIJLO>QJLOe U EfHEGc?@oNPIJLO>G;=EGJE U QJ·c UI4c.E U @CNEf> gMNH#g
&E U EbKMLOe?EfHNeMQRpMPENPL v4E$LME U QJ I U _&a ;O_ pdEGH$IJDFEe?EGH$NPeOQRpMPE I U >oK U E_&Zam;O_$k º
TVU
IRWAEfH¤@CNI4LI
am;._&>%
1 £I
U
cOa ;O_&>
I U
>ogMI
U
@#)N> QJLMIR@CgME
U
QRcMc
U
I4Q4H#g
I U
@CgMEe?E$¢OLMN@oNPIJLI
>oPNPe?NPLMvsNPLOe?I~,>9E?EGH$K?@oNPIJL.>$
T
a ;O_&>VQ
U
E&vJNPJE$Lp=<Qsam;._'& QRLOeQs>[E$@ I c U Ef>[E
U
4EGeEGJEGL4@#>$
\ gOE,c.I4D>[E$@
QRDFNP<FvJEGLME
U
Q~@CEGep=<Qc.am;O_N> @CgMEc
U
IJWAEGH¤@CNI4LFI
@ogME
QRDFNP<FI
& IJLc
U
Ef>[E
U
4EGe
EGJEGL4@#>$
1
V>[gMI~,>@og.Q~@Zc.am;O_ £KMcm@oI HE
U
@CQJNLmNPDFN¥@#Q~@oNPIJL.>CgOQJE@ogMEF>oQJDFEE?c
U
EG>C>oN4Ec.I~&E
U
Q4>s>[K
U
E_&am;O_&>GF,I~&E$JE
UG
e?E$¢OLMNPLMv>[PNe?NLOv NPLOe?I~,>sQ4>bQ c
U
IRWAEfH¤@CNI4L1I
Q'Q
U
vJE
U
Zam;O_hNP>
LOIR@EGQ4>[<
QJ> N@,I4KMPe HI4LO>oNP>[@NLH
U
EGQR@oNPLMvFQgONPeMeME$LNPLO>A@#QRLOH$EsE$JE
U
<F@CNDFEs@A&IFDEf>o>CQRv4EG> H
U
I4>C>G
\ gMN>Vc.QRcdE
U c U
I4c.IS>[Ef> QLME$E$S@CE$LO>oNPIJLF@oI,NPvJg?©ºEGJEGOaEG>C>CQRvJE,;=EfSKME$LOH$Eb_gOQ
U
@#>
pOQJ>oEGeFI4LFQ
>oPNv4g4@DFI?e?N¢.H$QR@oNPIJL I >oEGSKMEGLS@oNQRHI4DFc.IS>[N@oNPIJLV;=I Q UG >oEGSKMEGL4@CNPQJ·HIJDFcdI4>oN¥@CNI4L'I @A&IFpOam;O_&>
N>&QRP&Q<?> &EGQJ³>oEGSKME$LS@CNPQJdH$IJDFc.IS>[N@oNPIJL QRL.eF@ogMN>&e?I=EG>LMIR@ QRPI~@ogOEZHI4LO>[@ U KOH¤@CNI4LI >CHE$L.Q U NIS>
gOE U EHIJDFDKMLMNH$Q~@CNI4LO>H U IS>o>GyY L Q4H¤@ NPLEfQR³ >oEGSKMEGLS@oNQR H$IJDFc.IS>[N@oNPIJL >CHEGLOQ U NIS>Q U EcMNPEfe
KOcIJLMEQ @oE U QRLOIR@ogOE U \ gONP>ZHIJDFcdI4>oN¥@CNI4LDFE@ogOI=eN>>oIJDFEGgMI~ @CI=I U Ef>A@ U NH¤@CN4Es@oIyQJPI~ >[PNPeMNLMv
NPLOe?I~,>e?E¢.LMN¥@CNI4L E c U I4c.IS>[EVQLME$>oEGSKME$L.HE I U cdIJD>[E$@C> @ogOQR@9QRPPI~Q,NPDFN¥@CEGeI~4E U PQJcMcMNPLMv
I H$IJDFc.IS>[EfeyI U eME U >$
\ gMN>scOQJc.E U N>bI U v4QJLMNGEGe1Q4> I4PI~,>G;=EGH@oNPIJLk U EGHGQRPP>b>[I4DFEpOQ4>[NHe?E¢OLON¥@CNI4LO>bIJLmDFEf>o>CQRv4E
>oEGSKMEGLOHEbH#gOQ U @C>GV;=EGH@oNPIJL 1UEfH$QJ>@ogMEse?E¢.LMN¥@CNI4L'I cOZam;O_&> ;=EGH@oNPIJL U EGH$QJ> @ogMEe?E$¢OLMN@oNPIJLO>
QJLOec U IJpMPE$D> I _&Zam;O_&>G ;?EGH¤@CNI4LyrbNLS@ UI?e?KOH$EG> I4K U LMEG I U DQJN>[D QRLOe;=EfH¤@oNPIJLjH$IJDFcOQ U Ef>
@CgMEbE?c U EG>C>[NPJEZc.I~&E U I >oPNPe?NPLMvF>oH$E$LOQ U NPI4>N@og'@ogOQR@&I IR@CgME U&I U DQRPNP>oD>$ ;=EfH¤@oNPIJL HIJL.HPKOe?EG>
@CgMN>I
U
³7
!"! F' %& (!
\ gONP>>oEGH@oNPIJL U EGH$QJ>>oIJDFEpOQ4>[NHe?E¢.LMN¥@CNI4LO>QJp.I4K?@'aEf>o>CQRv4E;?EGSKME$L.HE _gOQ U @#>1£I U am;O_ I U
>ogMI
U
@¤¤Fam;O_ N>Q>A@#QRLOeOQ
U
e?NGEGeQRLOvJKOQJvJE u EGSKMNPcMc.EfemN@ogQ
I U
DQRV>oE$DQRLS@oNH$>#
1?
k º
'&(-, && . /- -O0(
£I
U
pOam;._
I U
>ogMI
U
@#·NP>Q c.I4DF>oE@9PQJp.EGEfesN¥@CgQJH@oNPIJLLOQJDEf>QRL.e
PI?H$QR@oNPIJLO>G pOam;O_&>be?E$cONPH@b>oNDFcMPEEMH#gOQJLMvJEf>,QRDFI4LMvHI4DDKMLMNH$QR@oNPLMvE$LS@CN¥@CNEf>H$QJPEGe
&(*/-(&
_I4DFDKMLMNH$QR@oNPIJLO>Q
U
E>[KOcMc.IS>[EfeQJ>o<=LOH#g
U
IJLMI4KO>
QJLOeEGJE$LS@#>,QRPIJLMv'QRLNPLO>A@#QRLOH$EQ~?N>Q
U
Es@CIR@CQJP<
I U eME
U
EGe·MI
U
Q1HI4DFcME$@oEyeMEG>CH
U
Nc?@CNI4LI
@ogME HI
U
EQRLMv4KOQRv4E
NLS@oE
U
Ef>A@CEGe
U
EGQJeME
U
>DQ< HI4LO>oKM¥@
# 5
5
6£{6± 5 2
pOam;O_ &% )$. "!#%$'&)(MO0 &%E&G"+* -, &/.0 &%
$0(."01 0%0 " "24305 "6 7,-.M0&7,8.G*&89#?# 0(-+:;.< &% & U"+*%- " /*# &/.
& & "+* $.0 "- &&(&/.= >0@?<AB & DC <E* /-)"*F.EG1H!I>#J?GAK && "- (&
"-L9 " --, .<$4MNPOQI&E0"O*.$0& # && #&&"*O& <10 -$/"&R
S.OE& "%* , &T -*UC $O*0()"."1 " ?& "%* &G1<,')&)V0. ?& "%* 0 -7,
, &WYX *G1 & U"+* 0(.- "&ZY[YRZ\ ]1D1" "EO - &&-*<1^ " "+*)C- M G&/.
"*/ - '&&"-E L9$ "?- &G1<"0 0-7,< -, _R`S.<&%a9$O & * /-)"*2b>]c?GA
deWfgOhiOhN(M<- '&&"- & +# && /*#j*0 "*# E^! # (&& $ODCkdeWf`.E
&G1* G1 0 -7,<&(*/-E" -+-"*#?# -*)"* ,'lR
m U
QRcMgONPHGQRP<
Q¡pOam;O_¦NP>
U
EGc
U
Ef>[EGLS@oEGep=<JE
U
@CNPHGQRQ~?EG>F>o<=DpdIJPNGNLMv¡NPLO>A@#QRLOH$EG>G _IJDFDK?©
LONPHGQ~@oNPIJL.>Q
U E U E$c
U
EG>oE$LS@CEGep=<Q
UCU I~,>
£U
IJD @ogOEyE$DFN@[@CNLMv NL.>A@#QRLOH$E@oIm@ogME
U
EfHEGN=NPLMv1NPLO>A@#QRLOH$EJ
9NPvJK
U E ©ºp>[gOI~,>
1
EMQRDFcMPEG>I
pOam;O_&>H$QJPEGea'
a kQRLOea
1
'p.am;O_&>
U
E$c
U
Ef>[EGL4@H$IS>[Efe
H$IJDFDKOLMNPHGQ~@CNI4Lc.Q~@[@CE
U
LO>
N5E49QJ.DEf>o>CQRv4EG> >oE$LS@VNPLQspOam;O_Q
U E U
EGHEGN4EGeNLF@CgME>CQRDFE,e?NQRv
U
QJD
7n<op qV0/r otsup YX >[K.H#g'@CgOQ~@ o ots& p $ ¤MI U QFv4N4E$L pOam;O_ v "!#%$'&¤ E
NPPe?E$LMIJ@oEbp=<xw+y 2& @CgMEsL=KMDpdE U I E$4E$LS@C>&>[N@oK.Q~@oEfeyI4LyNPLO>[@CQRL.HEjzWp £N5E4Zw+y 2&{!0|~}z &{¤
OI U Qv4N4E$LE$4E$LS@kop &ENPP9e?EGLMIR@CEp=< o & @ogME 0 *< I EGJE$LS@joI4L1NPLO>A@#QRLOH$E !o & NEJ
o
&Z {
p
x{!
& !
o
&
o
{
)^ QJ>oNPHam;O_&> QJI4LMEQ
U
E,LOIR@ cdI~E
U[
KOOE$LOIJKMv4gF@oIeME¢OLME
H$IJDFcMPEp.EGgOQ=NI
U >
QRLOe>oE$4E
U
QRpOam;O_H$IJDFc.IS>[N@oNPIJLI4c.E
U
QR@oI
U
>>[EfSKME$LOH$E'H#gMI4NPH$E
PISI4cO>
PP
g.QJEbp.EGE$Lc
U
IJcdI4>oEGe·
5
6£{6± 5 8
S. >oEGSKMEGLS@oNQR H$IJDFc.IS>[N@oNPIJL "+* a( " C- M G&
}
4L
}
}
"
}
} }
/!
}
%$
} &
*G1E 2gD]]D /!]$;&&?OC- M
}
2
} D
}
}
"
}
]"
} ]/!
}
!]$
}
$;&8.u(MO0 =
}
;%
}
o } o & p }
O= {!o }
&W !o ;& ! R
Y LS@oKON¥@CN4E$P< >oEGSKMEGLS@oNQRVHI4DFc.IS>[N@oNPIJL¡vJPKMEG>sp.am;O_&>QJI4LMvy@CgME$NU H$IJDFDFIJL¡NLO>[@CQJLOHEQR=Ef>$
H$IJDFDFIJL Q<@CIHI4DFc.IS>[E1p.am;O_&>N>y@oIe?E$¢OLME¡Q³=NLOeI cOQ U @CNPQJ,I U e?E U QRK?@CIJDQ~@CIJL HGQRPEfe
Nv4g?©ºEGJE$·aEf>o>CQRv4Es;?EGSKME$L.HE_gOQ U @£I U Zam;O_ I U >ogMI U @#
5 6£{6± 5 AP am;._ &? $/ & v#"'?GA%$k%&(']*) &/.(MO0 " &? & "+*E." 1(&/.+&(' &
&$- ^ -/";1 -"1 , /";1 -..$ & &%"+*EC8 M G&/.=?GAM/" O0$IO1" & & %"%*
0 *O&()"*O&/.2)S& & "+*? --$.)< ." 1(&R
am;._e?E¢OLOEG>Qm>oE@I cOQ~@CgO> NEJ¡>[Ef4KOE$LOH$EG>I @ U QRLO>oN@oNPIJLO>I @ogOE'³=NPLOe03 4& '65(7?GA
& } 528
?GA9&:<;;;
5:=?> 8
?<A@&2AF£U IJD @CgMEFNLMN@oNQR LOI=eME@CIQJL Q4H$HEGc?@oNPLMv LMI?e?E @CgOQ~@NP pdEe?E$LOIR@oEfe1p=<
BDC Zam;O_&>VQJPI~ I U @ogME,eME¢OLMN@oNPIJLI NPL?¢OLON¥@CE,p.EGgOQ=NI U >)H$IJDFc.IS>[EfeI H$IS>[EfeFHIJDFDKMLMNH$Q~@CNI4L
c.Q~@[@CE U LO>GvMI U QvJNPJE$L cOQ~@CgE3 F& 'G5(7?GAH&
} 5 8?GAI& ;;;
5:=?> 8
?<A & A &EmNPse?E$LOIR@oE p=<KJDL
@CgMEpOam;._hI4p?@CQJNLMEfemp=<¡>[KOHGHEf>o>oN4EH$IJLOHGQ~@CE$LOQR@oNPIJL¡I QRpdE$>I 3 MJDL } .NNN
A
|u}
\ gOEy>[E$@I c.Q U @oNQR I U eME U >vJEGLME U Q~@CEGe¡p=<Qmam;O_«N>eME$LMIJ@oEGeEO C QRL.eNP>e?E¢.LMEGeQ4> I4PI~,>
O C
JDL {3 p B C SI~EGJE UG Zam;O_&>e?ILMIJ@QRPI~ I U @ogME1eME¢OLMN@oNPIJLI JE U<H$PQ4>o>oNH$QR
pdE$g.QSNPI U >>[KOH#gQJ>F>oNe?NPLMv NPLOe?I~,>E$=EfHK?@CNI4LO>G 9Nv4K U E © Q¡>[gMI~,>QRLEMQJDcOE I pdE$g.QSNPI U
@CgOQ~@HGQRLLMIJ@,p.EDFI?e?EGEfe'p=< Qam;O_I U QRLQ U pMN@ U Q U <L=KMDpdE U I DEf>o>CQRv4EG>#¤V\ gMN>N>,Q U EGQR
e U QpOQ4H#³ I U >CHEGLOQ U NIS> QJ>@ogMN>³=NPLOe1I p.EGgOQ=NI U N>4E U <'K.>[KOQJNPLme?N>[@ U NpMKM@oEGe >[<?>[@oEGDF>GZ\ gONP>
>oPNPe?NPLMvNPLOe?I~«E?EGH$K?@oNPIJLH$QJLp.EF¢OLON¥@CE$P< v4E$LME
U
QR@oEGe p=<1gMNe?NPLMvm>oIJDFEFE$PE$DFE$LS@C>I
@ogMEI
U
eME
U >
v4E$LME
U
QR@oEfeKO>oNLMvZam;O_ c U
IJWAEGH¤@CNI4L 1
º LMIR@CgME
U
QJcMc
U
I4Q4H#g1gOQJ>bpdE$EGL c
U
IJcdI4>oEGe
QRLOe E=@oEGLOeM>
a ;O_&>&@oII4p?@CQJNLHI4DDKMLMNH$QR@oNPLMvaEG>C>oQJvJE;=EGSKMEGLOHE_gOQ
U
@#>j5
P QSR !T RJ ' (9VU%V9 !
Zam;O_ c U
IRWAEGH@oNPIJL&E
U
ELOIR@NPLMN¥@CNPQJP< eMEG>oNv4LMEGe @oIEGLMgOQJLOHEF@CgMEE?c
U
EG>C>[NPJEFcdI~E
U I
am;._&>
pOK?@
U
Q~@CgME
U
QJ>ZQRLmQJpO>A@
U
Q4H¤@CNI4L
I U
JE
U
N¢.H$QR@oNPIJLcMK
U
cdI4>oEG>
1
ºbI~EGJE
UG
am;O_ c U
IJWAEGH@oNPIJLO>ZQ
U E
E$?c
U
Ef>o>oNPJEbE$LMI4KMvJg @oIeMEG>oNv4L >oNe?NPLMvNPLOe?I~,>G&_IJLO>oNe?E
Uf=
I U
E$?QJDFcMEs@CgMEa ;O_INPvJK
U E $©5p
c U
IRWAEfH¤@CNI4LmI
@ogMN>a ;O_ I4LmNPLO>A@#QRLOH$EG>
QRL.e
vJEGLME
U
Q~@CEG>bQ'>oE@I
E?EfHK?@CNI4LO>s>[NPDFNQ
U
@oI
@CgMEH#g
U
IJLMI4v
U
QRD> eME$cMNH¤@CEGe NL'9NPvJK
U E © Q4¤
5
6£{6± 5 7
$/0"XW- " "%*C- M LQ" "!#$&" & %"%*?,')&q s MI
& .""1ZY[+\+`&/.<1 & 0(&(0(- " "+* " , &,"+*Q sR]Y s[
`&H L s _^TL s O
s&- " " `
[ \ /!+`
[ \
%$6^N s O s&%& Rba "*0 ,*7, O&(*/- z p .( i(U%"+* I1 ." iC9
c y L2& $/0"dW-" "+*) " -,)& "-/1 "*+&(*/- z . O* & c y L2&eY f
> 8?g yih
L2&RHS.O
A B
m n
m
m
m n
n
n
bMSC M1
A X
m1
m1 bMSC M2
A X Y B
n1 m2
n2
bMSC M3
A X Y B
n1 m2
n2
M1
M2 M3
NPvJK
U E VQS >[PNPeMNLMvFNPLOe?I~ H#g
U
I4LMIJv
U
QJD p. XEf>[NPvJLI
QF>[PNe?NLOvNLOeMI~ N@og
T
a ;O_&>
."""%* $.0 "XW-)"* -xCY1^ //1 &(#0(9W* "*0 j M G&/.M<1 -"O&(&()& $/0"XW- O "*01 0&
/0 /1" &( C & "%* -,)&-R
& "' ?GA *$q*&('*) &QC G WR <&21 ." C9`C O& %"+*,')& O%*0
1^ //1C9xC8 G M& "%* .!*G1 cM C RQS.O $/0"dW-" "%* & "H s &E/"*/1 YV[ \& & *G1
1^ / & $0("0"1 00* #9 O
\
"DC ./1`C9 0 &()0(-" "+* "*01 0& O C " *."-- 0(0 .- &
"%* -,)& H sR
e U QpOQ4H#³I am;O_c U IRWAEfH¤@oNPIJL.>)NP>)@CgOQ~@&Q @oE U QRp.>A@ U Q4H¤@oNPIJL @ogME,LOIR@oNPIJLFI DFEG>C>CQRvJE I U EGJEGL4@
@A<=cdEDQ<1LMIR@pdEQJ>sI4p=SNPIJK.>QJ>sNPL¡p.am;O_&>G'_IJLO>oNPeME
Uf
I U
E$MQRDFcMPE@CgMEa ;O_I
NPvJK
U E ©
p"
TVU
IJWAEGH@oNPLMv1@CgMNP>FZam;O_I4LNPLO>A@#QRLOH$EG>
QRLOe
c U
I?e?KOHEf>FQm>oE@FI
cOQ
U
@CNPQJI
U
eME
U
>@og.Q~@FNP>
N>oIJDFI
U
cMgMNH@CI>oE@ I
I U eME
U
>e?EGcMNH¤@oEfe 9NPvJK
U
E$©ºQO9I~EGJE
UG
@oIIJp?@#QRNPL'Q>[PNe?NLOvNPLOe?I~gOE
U E
DFEf>o>CQRv4EG>&I
@A<=c.E
$
QJLOe
& H U
I4>C> EGQ4H#g'IJ@ogME
UG
QFe?Ef>[NPvJLOE
U
&IJKMeyg.QJEb@oI>oc.EfHN
<yNPLQ4eMe?N@oNPIJL @oI
@CgME&NLMN@oNQR?Zam;O_QJLOe@CI,@CgME c
U
IJWAEGH@oNPIJL@CgOQ~@9@ogME&NPDFQJvJE&I
DFEf>o>CQRv4EG>
$ QJLOe
$
SNQ,c
U
IJWAEGH¤@CNI4L
>ogMI4KMPeyp.E U E$LOQJDFEGeyQ4> $ QJLOe >[NPDFNQ U <@CgOQ~@ &]& >ogMI4KMPeyp.E U E$LOQJDFEGe & V\ gONP>&N> LMIR@ JE U <
H$IJL=JEGLMNPE$LS@ E$4E$LN.EGQ4>[NPpMPEJE$LOH$E RT am;O_&> e?IZLOIR@ c U EG>oE U JE EGJEGL4@)LOQJDEf>$ LMIJ@ogME U c U IJpMPE$D
N> @CgOQ~@c.am;O_&>Ze?ILMIJ@c U EG>oE U JEsE$4E$LS@@A<=c.Ef>E$N@ogME U &YL1QFc U IRWAEfH¤@oNPIJL QH$QJKO>oQJ U E$Q~@oNPIJL £U IJD
QJLmEGJE$LS@Z@oIQRLMIJ@ogME U PI?H$Q~@CEGemIJL Q'e?N dE UEGL4@sNPLO>A@#QRLOH$EN>bLMIR@QRP Q<=>ZQyDFEf>o>CQRv4EJsY &E@#QR³JEFQJ>
H$IJL=JEGLS@oNPIJL¡@ogOQR@NPLc U IRWAEfH¤@CNI4LO> HGQRKO>CQRPN¥@CNEf> £U IJD E$4E$LS@C>>[N@oK.Q~@oEfeIJLQRLNPLO>[@CQRL.HExzb@CImIR@CgME U
EGJEGL4@#>VI4LQRLMIJ@ogME U NPLO>A@#QRLOH$E z)Q U E,DFEG>C>oQJvJEG>QJ>C>oKMDFNLMv RI U EMQJDcOE@ogOQR@ @ogOELMEGDFEf>o>CQRv4E
L.QRDFENP>@ogMEyLOQRDFEI @CgME¢ U >A@DFEf>o>CQRv4EPEGQ=NPLMv'z,@CgOQ~@H$QRK.>[Ef>s@ogMN>HGQRKO>CQR U E$Q~@CNI4L. @ogOE U ENP>
>[@oNPP Qc U IJpMPE$D >[I4DFEE$JEGLS@C>Q U EQ~@@CgMEy>CQRDFEF@oNPDFEE$DFN>o>oNI4LO>QJLOe U EfHE$cM@oNPIJLO>sI DFEf>o>CQRv4EG>G
\ gOEG>oEE$4E$LS@C>NPpdEHGQRPEfey§[DKM@oN@A<=c.EE$JEGLS@C>A¨#Z_I4LO>[Ne?E UG.I U EMQRDFcMPE 9Nv4K UEk?,pOa ;O_ d
N>Zc U IJWAEGH@oEGeI4L1E$4E$LS@C>ko QRL.e.ZYL d EGJE$LS@ NP>bQDFEG>C>CQRvJE U EfHE$cM@oNPIJL pMK?@sNL Yad&¤
@CgME@A<=cdEI N>LMIJ@Z>oIyHPEGQ UG Q4>,N@ZN>QHGQRKO>CQR>[KOHGHEf>o>oI U I oQJLOeQc U EGe?EfHEf>o>oI U I O,E$LOH$E
@CgMEI
U
e?E
U
>&vJEGLME
U
Q~@CEGeypS<yc
U
IJWAEGH@oNPIJLH$QRLOLMIR@pdEHIJL.>[Ne?E
U
EGe'QJ> pOa ;O_&>,QRL=<=DFI
U
EJ
{e,f,j} (M) MSCΠ
Π m
n o
e
f
j
A B A B
MSC M
e
f g h
j
i
9Nv4K U Ek ;=NDFcMPEc U IRWAEfH¤@oNPIJL'I QpOam;O_
LMIR@CgME U e U Qp.QJH#³I 7T am;O_&>N> @og.Q~@V@CgMEcOQ U@CNPQJMI U e?E U QRDFNPNPEG> vJE$LOE U Q~@oEfeFQ U ELMIR@ LOEGHEf>A©
>CQ U NP<I4p?@CQJNLOEGep=<'H$IJLOHGQ~@oEGLOQ~@CNI4LI c U IJWAEGH@oEGe I U e?E U >Yad
}
dE & /Y2Ld
} &
Y2Ld ;& QRL.e
LOE$EGe1@oIpdEFeME¢OLMEfe Q4>Z@ogMEFQRpO>[@ U QJH@oNPIJL I @CgMEFgMIJPEc.Q U @oNQR)I U e?E UZQRDFNP<ZO C 2OK U @ogME U DFI U E
@CIDFI?e?E$7HI4DFDKMLMNH$QR@oNPIJLO>H U I4>C>[NPLMvS>VQJ> NL'EMQRDFcMPE,I 9NPvJK U E Qe?EG>oNPvJLME U LMEGEGeM>V@oINPLS@ U I?e?KOHE
gONPeMeME$L NLO>[@CQJLOHEf> N5E4 I4p?WAEGH@C>@og.Q~@gOQJEZLMIDEfQRLMNPLMvNL'@ogOEs>o<?>A@CE$D¦KML.e?E U e?Ef>[NPvJL E$LOH$E a©