From 69f0eebce66fc36189698b2469a6008520b9e6c8 Mon Sep 17 00:00:00 2001 From: Simone Piccardi Date: Tue, 22 Oct 2002 16:22:26 +0000 Subject: [PATCH] Aggiunta figura sui semafori, correzione di un typo da una segnalazione via e-mail --- ChangeLog | 4 ++++ img/mqstruct.dia | Bin 3683 -> 3685 bytes img/semtruct.dia | Bin 0 -> 6549 bytes ipc.tex | 15 +++++++++++++-- process.tex | 2 +- 5 files changed, 18 insertions(+), 3 deletions(-) create mode 100644 img/semtruct.dia diff --git a/ChangeLog b/ChangeLog index 207bb82..98ce465 100644 --- a/ChangeLog +++ b/ChangeLog @@ -1,3 +1,7 @@ +2002-10-22 Simone Piccardi + + * process.tex: Correzione di un typo, segnalato da zaker. + 2002-10-16 Simone Piccardi * process.tex: Correzioni varie da Daniele Masini. diff --git a/img/mqstruct.dia b/img/mqstruct.dia index 586820a6965c1f385464aea524c3b69eabf6c967..07c5127e122ef67a0b47fcc02ba1730016dd5a1a 100644 GIT binary patch delta 2256 zcmV;>2ru{J9OWFat_6Rb9+z66C4w2(X!UpqJMUj+lksGQDqWB5_q`~?&38~zVE&}Q zfHQ8D`i9kdJj)5xX>*)re=uU4&$D8M`n=wBfRg=qbif190qhLHX?1Chem6nj)p?#| zIAk!-kPAGx0GS{X69|7M;J~W|yI5cwm9G7tX)`R9?)>KZsmy;@NC$oC0A;%2385oN zC&TPc8u;Bw-DIetEhM};ggNSgWzUrVcu0X$)TuB|E|Q35p`1`vX;lU@9^U809S(+l z2SbYITBFU5b%@z9;t5Ydu=m#m77WK~9x ztfHOli6}RMh?ajOyku2wB&#xlWEF4PIFUsmPyDBW0(enaB}vyFM@^D+Fg8b3lJpBE zNxi0n=yw!tUC0AytRyHM=tNX@{|z0mR2n;84QT%qw@m!lKq41JSsHQ{W^QcY=f>*| z6BS{@MB;|YiOh`yNQoqHVx-zIksD=UBB^q14reg@VtIcMhr-@NAqoqlO^gG`i4^Eq z*ld`nMo!dhn5d!1iEzWjg9sGLh@ugJ3_%18evK@fozrHGtcK(Vj2SauKEMssNba9p z4Z!cJI{KSxd6`s>Z@T}{-=iJh_Ih==fJV2so$F|&hw&$UALCE1L)=$QVQ;J6#D9JC zJx2WR_3D3c0gV3_;92&qSNzDZ* zYYjnjLCT;s1grZc9=gOUlZKEW5kam@lAwH`Y64IVA5>?u2PGm{m9sm%AH{p2sU>Dheb@juQX_wgHbfmg%2x~Q<#n=KKyQ}_pe2au@h3;D%l zoE3k?^0B*5zBP~M`C|I=tM_i=)%S-1=JCXCE>0Yi$K&hgvfU^1NQpcl{O9QkG>`4- zSA-kON0(Jwgu3tXuJd=AnH%_-x!T=AzCG3b48fY%*{dU0$tj5I+x5& zN$doj+Q$P}sOPIyHqAejk*_=deP&z!`1gO(2I)-?vvz4HLI;5WtWgTxI;GGkRw)#{Qceg0CJY3?0Z?7>M5EmCMDdcRlL`Mc zNch9v??<;6{Lv^k{87B(?{pv_lOPa)^-!i;6J;93MVX?F@(DqJ27&+FG`6@s{4DGyWsDVGCTH|s#W)R5Xv#U>dzw& zP4RNCh+9;W2Vex)qb78F%%pB>7z$FVP^H(u~V#B)U&((;G;K2weRf%NBBh^51)K!8` zy98bB$s_wG=#KVeXm_ns)?(0^;klw)CLYc_LcNbQkMtLlG%BAx$JEXdl~M9}@3t?n1xw#Tni=-V?SF{1L99#LXI?J=qb*8UiEYiN-1 zV;f}b#}tl&pd1iFegtcfVFQ0c2+h|98Fo@ECDUk-adHM3`;mss04X|9GK8NWCy=+G z7&|kd+$j@zA}Fh52f9)wQfia|-eGF>uTz{LhquAR(P{6!oc2@?r#;%Sj~(1;uVXds zuTYZJRxGHFSrWN+)3Hn32yQxFeZo_;gE~d4bPxytyXjOAsNHlL2rz$m2%wwJi9o=F zfdDuFYB!w<0N`#q9zDYFA6EFMLBb!{O{W0>-vS_k2LQV1oCXAR5(EOk>g);vwVO@_ z0dO}RuRb9Jh6Mo{2m;Vc;jNpFadPYkZaQB5LN^_B)7gibzlK8-a6cVI%#NRqwxbXF z>70*@`OU0Z<+gL3jYzTSwJrJ~rMu zhA{NjIW<;5cb#~wAOo?2fo6s0{yL5o&|l}|SOLXuk;HCV4J2>9brq5EoD}2{t|Ahh z6xvEI?c=bc-pOG{`wLkNG0<2r4h3s0)Cue;SZH;vqYPr<6)b-+A1uUj*wH4Ct}(*6 zAfscU)iuPzkqTcQhaL4!4m&y>LSD7Wr)*NIO+E!Zb}-9|D<^<_ib;a7f`sLSWXEU6 z5RN`OCr1kCv=fUGXc$U>mSuVo0jcDy=; zZaYH~E1CeZBv^m19ldqh(de`D!~5)LblHhEBMu`)N})vuN@%w6+0jI!&(2Bu?6hJH z*#S~~U}TUhO<=8d+?6JV@~zd5ow~-e+G%&NQ>K7kJLt93{|=-#neAw3vz>n}=TBXv z;jLJ5kfNY73hvg^v|3N6ZavLN&-Kf_eILfJl0>UR2RMJizK)~H?C?mZ3`By`0z+De zO$)pO*&?`&R{qT{B)hO3=8iK#I3T!F!ZkOp6=sw)msAjKQe!8MsSY{+XzZG7Bh zK8N9OE3Yt_6RD<|(y6OHyX4T$6h|gq`;J)Y$R>a;mdvp*Oy&gWUNLVaFuIzY*OJUZY3=m2(x;Iz85M!%aN@ajBI zG8{6PXUGK}T!2gvi3x;16L8?wf?X`IjY`-4&$JnqN_T#9{ZxPEE2M+IbbvD5@PyEj zq?2KGCk_1Wq;4|Q&=wM29l{*-z_Mq`e>|kXDe6=hCl^W9b7M)BYjZf`;eB4*;b7Qz zFr;{{HQMZ0hnO8hu9PX!iQJxQb?GxPpi`}c5F~>BvtnE(N17D}5iJRL$*R~$R%Haq zD%#1Oh;k!{Xi0ysC~_j)F!3M)g)*XOL?A;D0fS#7%Vy`aStF|<`2l0b%$E;v12vNSCszaT zyQ+@B z_a#Z-YgH4@*k&VD6RETr)<$ZH*-{@iz>U;Msv>_896)_YQ9f(}|W z@lh8h?ewi(gmPO(y?mcc;_^$oynYCHX(&`nhcP$vjdbPYC~cx&qB(yZRO3 z#`4i+)fS=dd%WxXoo40+erB$Aw-9h%4!BO2A=c?B=)_zRCNy(%5W7H^cAd^8vr`f~ zL8tcd02b=`YL!j%4`t-*&VQfTmOuWzv_XG*6N4Fej5T|Tn#Wjcc5jIjg+C@wx98+( zl!NjVPs*Q;QH0PzAOLHWLbpySG>TOUMX!_-f`ADF0dN3RS3J=ucRW$NKMfN8 zu=o4X?FD}{$_;-MulPG12*@M|1YkXs>DEM+x{rtb&S{jg-l3GZ>0!@zS@gYqLS+V9_B9iyQIvHJ*H~aJsyN|46pk0$U{@S z+$-W1mE-{!0rsc~-5xWk+Zu*~6t$zh@sB4<;^AKez(0qcdRK=@*4Gx$=7v8$B=?O) zy)(^bY^(2=$46xGmlX3W6dM|MJvvv0~ianJx_y$I$0eB3$3no zltC=)W1-t>lFI-3`vZr{G~^f7*KnRs)4mXM%@}3Wc=6$ z8T&DXqaY{;gpeP>8f4gj5JG?RwLylR6idl88f2WDLB@WhAu~XV4wMYx=f?@;Ehxs$ z3@CTXM4kxBD%pXql!=rYWq@~>TK(%3C&=M#FmZI+doQOw)x&9zcI;yZciQV%P5Ud9 zWVICws$-T!uHAI(5;uaIj#r=X6z!l+(JCDT0>ExM6$ENGodyC79s+;prgI_?Fkv77 z4uINCrvd=Dn~q11F#LxV{%Mf#2X@nG0Km5ZNZ2w~iqU zy>(8F70_KL9xKQ|tYDy7;kmz#V+HirIXPB9v0Egun^ptKTW?)OWIQJYd4#KoL??x| zl1uwI?5KBg*wOw%7DEg)7K}r|8Vhv-I|>$BUF#@=Sa<~s%m;r9u^e`^38ZU`FfPdG zSZH+(v2diq*T-Q;y_3U^PKS_JZSpCb)M}GYL605Gvf|1KAfIBAAgmx^IU(8c*)fEp z&(6t_0y^!)q68X-5};)nV#jMolN7ynPK*&ylo82o$FLylXcIvfY__^!c()y|PNCb* zki?26fGi2tYe#=?opv<(?ELUPI~rYfqRoiINRd)#(SZ`0ZG3h#(de^tl0G}FSVMMz z6dxEFxg=!}B9^)#*4)2UleGtzVYa&O;<@v9`!>d*m>u&;mPs4_b|(kTOxptQh{7Gl!^ z??AQ)ZljfdvkS>CY=^nyOb`wT?v!xNjcbJ&CCw!jM4QyuiDPPn?zzW*oqro2HyIGS z^WXyjRp;tupv%fmSiS1s*L&Gj=l?1p^r{<-ZBgLC-yy;LNb?S1ddxf4?4%g9$={3Y zWP<2JVcAB>vXRt0-LjLTr8w-=>Rh`F=ica;hKC cv!}fH^r3!W|4obR?$d`q0e#P#HqS)?03kC!g8%>k diff --git a/img/semtruct.dia b/img/semtruct.dia new file mode 100644 index 0000000000000000000000000000000000000000..0b7703416d1b1faffb709cb47ac273518e6af5f5 GIT binary patch literal 6549 zcmV;G8EWPqiwFP!000001MOW~Z|g{MexF}qcwg;y-!JPuv&aMp5Fo$_vXi_Tvd!_) zt}Ho{JZH{6hgkw4BY!Wc*GR+1>w*CX>;fA9Q#9^G{b-yEk|qEl1(C)vKfBaz1{1UuIX+(QEeQ z`f>F1kC*xEefoTzk6Mj;noVZ&tKUbHFV}ziE&jW{Tixbv?>p0$^=cp6Rok~uaN z*8c9ljhD+=&FBAZG+CT7f&AqSdYU5fWj=mB4#d3?6?geQeqMfi_~Y2uMM;Opp5OmR zZ}`*qv`W#{(N)sTOkz0b$qin!|{ z=UX;@`Bo}vmwaqDA^S_}q-E7cOtjs~1nnAiH2&)*$ZOA+>1$U0gtF=TYYFKcW7RU+ zsG`2RE$Z9T0P9Qx`sQ|TS)``{9bhkW5{S|wAqeDvi{*gBHH93Igadw={ZT>zygLPW z%4WSX05L}0P~wcb=af*cZWz&AwUe1mve$>F*?d~ucqf`wln{;i;>^}K5`=fSc>$>f zlVFphcw-?%rQo5iXVUmmgoJNlIUIzp?USL=H-N;=KVC97kyqpJ};ew4n*Ik zIHQVtDO55k0wWkHt-n@o5WX)$$c4JUVAw#Q9p0J`g6;9PhlFO9xv4uBEK)@2L594! zRqanx3p`PIN+z5aCW&S@x037{4Nc{i8|ghvu+&mNZmYKvQ3C5@7JK8MmU64T z%x>>6lWN1dLsUo+Kdta$)8VDl({6?sFKUAr?$s(3V!AJA#LVz9<5FVA!ePd4FeCi# z6b>^MG4ts$!)Q9t$bI{|PtbT#JD@ROpy@P41kI&@h9%t1ba@m__cMBDKjYx`GhL>L zpt%&#@N}Tja9bL^v!zjhTN;g98U)Q(CQ^b1W=~^Ol*Ltq4UbpMC^+EYzNP_iIy{&1 zv+om5zlVv?s&H?a1fn9WT#)^f6*j`eP@da^Oo!-TO+M&^yxdfO?Ogb*%5L_Z{l%>{OqL>NSY-n8aHqU-XE=kKJ z9JvI9Oa5a#&C0mM4(|*gcW3h8&h&D5$eESAgEQ-CHl03X)8{y$789))M!PtV{33dK z>!*Ot#IJzy8`UmBg)}n-w*MGbE=9gnA>*816a+aS!U2XpyUcWo#?QHdSLHFNY z@_|b}STZ&22ILO#O4w<>>l5(mSlB^22HvO7GgQOq9Jm;Rp3_uJA_xeVXvQOTm^GIO zYj}7;49=tc-q!NLr6lW$AmWoU`jHi*SNF5tbqmi*7-rziqi{)tfzCbof$tE0q zjX-QtQ8p`Kh#-fHtK~a!wG1$>mSbG)rwS3QQo$mf3I=h|YvFjz58T-Ennoo&I2Zlm zb%Yu?tp-L9{aH1zOsIk3^e^4fzi@f_7@&{Z_bX2prpF*GR=?BLlt(*tt$n$0u?oBz zn)XF!T3Y3MumDl{LMvaLPWdvpTx_F@6OxI2DW@XjH*pMXC@i3UmA` zw2jT^*j5D#77`e^W0Jceso>FMnaxoJCse@{4}i~`q9xMBU{N3+bnIj3f3E9I0Vik` z+ZP;;@*fNHv+DD+jwV<&&(AXbDG zr^+I0KbRi{(g-!+*h)zT~Tw)`l94;_@h`P@Y0dpyUF$n=< z!2n~|fPra3)O~&km`eeSO$Hc<7DPETMO#skKs+rI#KOx8OXz1_h$ zupJEMNF!jrN}3EX8f*`vw|f``w}-*LLkJiT7?uz)AbXf?*C7|HbV4;9>OM#8IfOlj z8lITRBtaU6SeT|mn&`crLzXyfIfN~T>eeD2oIzLflOh?f^v^1}m{lfayuh|YpZMgx zxayEU!1+Ta;}3|&L&lTGPTwI*IJO-^CMjKi$R*%hq7rfm2jCLE+jqzkfo+G7OG?)t zatU-&i_}B&|8GO{<4?fI{IXe=kHWb8+PHj4JGC5A_M9z;q#2YqfbX>&@(LI`4xt7{ zzrcsE&AWC_ELLr5j13lPZ!oJ?FYGT|UjM!MT_$P$GehmcJwRv@wo zaK$N=E;5jVh0^kEC@q5vrNwqbSZ*pHh9y+L5Po^N*KWw$^4M(%wQuPHMC}W$eR(?V z3#NPNR`-G>;$uucYTmCZU34BquOUO!UaKKXD0Uh`#ap)iQ1L=5UYShsGO(0uwoSRF za4FZ=W(bvUKuo%DGzJmay4z;R5{_MlQ1_NCKh(U?nm1i28U?EkM7Py}C|q?QY%zqI zHy|cm7#al$9$|YehAffTVFBpCb+HXdYGb zG%VQ8LOMynRahw?$%`&FglM^@ZYtDND{q6bPGpzE$11#m$B5WYy=np{(MlPq2*RxLGT1%S#Io?KYA3Ez z1=mihq(zqhEbS+LsCp|EZi5 zsQrFUlu&Ao)HXPjY~PxYg(Y^x6glXQSa^fq{x3ZUq&;fT5s*KtZ6mR6v0!_2!{sl$R7v_&r#-@@S!4 z!N5geY8keT0u1FdiGpwB4MbyVMTE9IfW#T$?n5CL7BFMO<>8DtP9!Gxoj1L}h(USjqU*sKbuUBb>Tm!A6enGnVfhe^LDF?W z2HJM&@S^oOJG>YO)-(Tu=HN{Se*gDAeTQmGI+NFJb-igl0E8mS7C_|EKZw#ldjfJhWGG5l~vB;0cDmk=Eq zk&K_w)tsJ6kVrmIHn4FivVjF*J!b<`9RfpX`2XN@wxKj-h^XO803-(Q&95pX&R~uo z=J++p3l<%c{IvTZNq&~5a-LbJyd}HITXJA|OBVB%Fv9$+WvRg82v9PHBVq*>=AR1? zS{#O#BU-*%o=&xJDAlsgAGcun;}-MB5iDPAviKnbl@e<XXcM&5nL83$IooSE@F-UXTn%cI;}_0<0P_sYVZ>qCAVx8M`goXu6`ivDEIVhGpLIjB-d9yia3bx}Hvw6EK7`U7iUM(c8yQ1#ZTUe+nc@9^!gIew0%$?=1* zRr4&r+*Sog%L$e$f~C2g%0DDnD(qCp)7hyUD$mbus!_x|KR3u~6qx6i+Dye_6lZlf zJCV%c43aV&GyUu)WjJQ~+2N%OW2Rpp4rfdn?l;%3Yx0hhX&Q9Hbm(%M4qZ&Zwdiu# zq6?!&bF`>*Xt7XeF>AEI^yqTfqYKfJqeZ7e3q+4Dx9QQf)-4LkqAV`E^nOd zwe0f73HIzlPC2p+kyD^!iW%jDa@%csAvoZ!U9P@sm&2}Ir^HD*(+IV>gVIMCvSu2(xnym1C zXp@dlAlPKDmzQS~Z03c0Qn3V)P0rlSi&5LPomarR=&_lXAf}{L75_P#{HUZ0mx3-_uf6}A4KcIU zhT0yQ#X2ADeF(`YKB=+CHIT5Y71c`{D&V>A_1<-<7c!Kn7om3uEr$2a7H z@+3aScvmXmgmWrYcI&nG?Or5ga#FaB)dZsyuI_~w>@Nf{Elrg248DHmSDM6kEQPP} z%?t1?ChzfCikz-rK`)NYitlLmOmz0warrZbQ6J2Bn92xQBrT9Q(^tA zLFf0~aG+~FKLp)p1YM=oE4!kO`HkPL?p4Kk1B=-x#jtx$jAb%h2=?)9-jH3AEf!bH z(c>h8w0?gbzh;Zue_wiI?CBy*;Nm(%BRB~)RC>x(S8DKTBs?<+x4_Mz2*aUY*pM>~|5bt;u{9uPz`~arGQ)#^S0z%NEHbUDTrO zLu|CDMabsc`Xw0L7OD08aEpX~i7n`CTE7H{SAy<(B?O=^Pz@My9}{oo#k*=tcbyT^ zsaz8-iEBdk>IkHSX{B@DAJ@!-j#??BPn>c+00+f#wD^Z7+WGs_@(hP_C55?$?4FQ? zW=rUv=!+hB=Rh96D*DyOG(WHR`dCn_jNjR5Cv7B)aE&MS7kpxWxVVrFlCZ(C&_2#m zI4oJu5yQ+zUyHfdgooHZ;#jXC!-Y8&hp5wr_)mQ_1W*^oU})YYh2}A#TSWbe)w?A- zW7IG29MQvMFz{5b*+-6uKn{i|rtX=F{NP1$+bcno%&cTkB!H6!nd2 z!WiV6i{cyBA<00pp5urssYaxtnm+9iFGE=-0)Dhp*4{J!i(xj%wf+yh=aZ+BIhG94 z`I*1Mgh!-}(`n;e83eq0ER{N}=$;<7-CxVaN)-#-{Pkv1y_9U$35s zP}6s8Qy;p|Fx4_F8V_XW-N1J=0={Wp%2dY! z{Gxpf+UZa~m{`RK(Kd!-0O6*s)-tcGv)}Vl?j8(B`(4N`*5u6>GSB1TAQtlev`YVu zi}?5==3tB1b+7cmLllSU|DaeBw>l{HzxKU|i_@w|YLRGqq3P8C=|WYW{npo@3lZ4; z8g9R2|Ma{0D!LGz1I@y*XrH?^6_emN5sn%j500bOqped2vVYbe8y`%nd;ll1zMiG5 zISH=4O(=*{d!G|N4(srs@-X>_u(lS}OhF6cOIhUD`_7=`6L~{L=lHDEV(2p$&-%R& z_j?jzC09B$NY&i%2rhs9@jan`TV{*J>}r*FK7&s=|F7BWXnGl*(ZXs&$7q^NtK<5% zbF7vOG~R34hsbqpaFF_ari=s;0ikt7sv<#l&4^>?v#_Xyv}@tg32 zF{p8m0&1rKd%I*tk)*{Ty}70Pr^vmucL?c>EQ$(wRXqO6Tzj$Q>5S>8SDMUtJe{$X zh!Qn;l9N`n>( z(Cjh?3-xAPjuqxFA+XYEZU~i&fr?H86$a3=FNX>vY6TU)BL;y=r@0|iE(R(l4OBRo z3C8^{WepVz0u_!17(&HE#U|RWFdz#ouXDFkx18=5z3Xw$!q5FPEgVYRHIVy@QhyWlR8x2vv;kIni7MbUJ@Y-Qe0ZKRhqa)>*Zr#L*?RS1qi= zcCxU&Y6nV@G!>rsmNa2Rz6Ya4pl`cXm3h>sOtNfD2Q7V=NPQ%gy6LS;Qy4m)372LKpHgvJR2I58DRtOei+k@c z`N$<7EgfQ##4g2@dkD;|nrYIVj%{#|DVt^aD1=Q@*zk_9F~G1%6vqS>#3W+58EC{D zOc24+4lGA?#K!?k&nW1HJ~N{vi@#zp;a64!QFMK%#k35Phj^&rlrC@H(2 z-;Fq?JoLMDbDPr&n$(svX(FOJuDmX)yw3vus(T|d>$#BkYtvec2#Rv4PH{gOiWmT)Yzf$7(XwOm9~E^c&r(7if@9jRe# zb^j+@E@$)X>Ny*)x4UE9?snMj9;`T|h|?${zn+YKWb>bY$}jwXFZ0ps&p-V?>0U9c HF