3 (2003). URL: http://www.eluevxey. .... The approach presented in [dA H01 ] handles both calls to and from a component, and, hence, .... integer nr; boolean busy; initial: nr=0 and !busy; restrict: nr>=0; blocking r-enter {[!busy] nr := nr+1;}.
"! $#&%'( *)+ ,.-/0 (1243658772:9 ;:0@$AA8BC>EDD FFFHGEIJ$KIMLN IO?GQP J:DJ8R$S8TA:I:DIP:A S:K8DML$RJUV+IWX"GQ@$AMVJZY[ %\8] ^?_a`*bdcegfihjb.klmfonbdp
qsrtbjhduvwhxfy`zu8{|_
{ie{|_hd
c cbd_h
f}_wp
~bdc uvwhxfy`zu8{|_
{|_a`zc{|8bdcn
*(ag\ $zyg az¡E\w¢£¥¤ ¦y§ ¨ª©+« ¬6i§®¯¬4°²±´³°$¨¯µ¶¬E§«x·¯¸M¹º§®¯¸ § »0¼®g¹Q½$§«¾¹6¬6¿´° ±}³©$À¹ ±M°$«®Á¹6© ·"©$®Á¬º©oÂé$«8ÄÅ©$«²©:»0³CÆÇ+È(É(Ê Ë:»Ì¼·\Æ Í ÎÏMÐÑ:ÒgÓ+Ð } ÔÖÕs×gØÅÕ8ÙÅÕ8Ú(ÛÝÜßÞà\áÁâgãäÜ$Ø´Ü$×Á×gØÅà Ü+å,æçÛ²àèÙ²×?Õ8åMéëê¯åMÜ$ÛÅéëà ÚtÜ+ÚÁáíì+ÕMØ,éäêÁåMÜ$ÛÅéëà Úîà+ïdåà ÚgåMâ¶Ø,ØÅÕ8Úgåð åà ÚÛ²ØÅà ãäãëÕMØÙñ\ðÝágÕ8åà â¶×ÁãäéäÚgòÛÅæ¶Õ8éëØñ?Õ8ægÜì\éëà+ØÃÜ+Úgá|éäÚÛ²ÕMØÅï6Ü+åÕxÙ²×?Õ8åMéëê¯åMÜ$ÛÅéëà ÚgÙMó4ôæ¶Õ0ñ?Õ8ægÜì\éäà+Ø Ù²×?Õ8åMéëê¯åMÜ$ÛÅéëà Úõà+ïdÜwåà ÚgåMâ¶Ø,ØÅÕ8Úgåðíåà ÚÛ²ØÅà ãäãëÕMØÝá¶ÕMêÁÚgÕ8Ù´æ¶àö÷éëÛÅÙ´Ù,ægÜ$ØÅÕ8áîì:Ü$ØéäÜ$ñÁãëÕ8Ù´å,ægÜ+Ú¶ò+Õ ÛÅæ¶Õ8éäØjì:Ü+ãäâgÕ8Ùjö.æ¶ÕMØÅÕ8Ü+Ù0ÛÅæ¶ÕiéäÚÛ²ÕMØÅï6Ü+åÕiÙ²×?Õ8åMéëêÁåMÜ$ÛÅéëà Úá¶ÕMêÁÚ¶Õ8Ù&ÛÅæ¶Õià+Ø,á¶ÕMØdéäÚsöægéäå,æÜ|åMãäéëÕ8ÚÛ ÛÅæ¶Ø,Õ8Ü+áÙÅæ¶à âgãøáåMÜ+ãøã éëÛÅÙjÞÕMÛÅæ¶àªágÙMóÔÖÕ}ÙÅæ¶àöùÛÅægÜ$Û0ÛÅæ¶Õoåà ÚÁåMâ¶ØÅØÅÕ8Úgåðsåà ÚÛ²ØÅà ãäãëÕMØ,ÙdåMÜ+Úñ?Õ á¶Õ8Ù,éëò Ú¶Õ8áîÞà\áÁâgãäÜ$Ø,ãëðwñ\ðíåà Þ×?à ÙÅéäÚ¶ò
ÛÅæ¶Õ8éëØÝéäÚÛ²ÕMØÅïQÜ+åÕ8Ù8óúÔÖÕsÙÅÕM×ÁÜ$Ø,Ü$Û²ÕsÛÅæ¶Õsì+ÕMØ,éëêÁåMÜ$ÛÅéäà Ú à+ï4ÛÅæ¶Õiåà ÚÁåMâ¶ØÅØÅÕ8ÚgåðÖåà ÚÛ²ØÅà ãäãëÕMØÙ0ïQØÅà ÞûÛÅæ¶Õiì+ÕMØ,éëêÁåMÜ$ÛÅéëà Úà+ï4ÛÅæ¶ÕiÛÅæ¶Ø,Õ8Ü+ágÙjÛÅægÜ$ÛÌâgÙ²ÕoÛÅæ¶Õ8Þ|ó ü¶à+Ø&ÛÅæ¶ÕÌì+ÕMØ,éëê¯åMÜ$ÛÅéëà Úýà+ïÛÅæ¶ÕÌåà ÚÁåMâ¶ØÅØÅÕ8Úgåð|åà ÚÛ²ØÅà ãäãäÕMØ,ÙÃöÕyâgÙ²ÕÌéäÚ¶êÁÚgéäÛ²ÕdÙ²ÛÅÜ$Û²Õyì+ÕMØ,éëêÁåMÜ$ÛÅéäà Ú Û²Õ8åægÚgéäþ\â¶Õ8Ùö.ægéäåæýÕ8ÚgÜ$ñ¯ãëÕÌâÁÙÛ²àÝì+ÕMØ,éäïÿð|åà ÚÛ²ØÅà ãäãëÕMØÙöéëÛÅæýׯÜ$Ø,Ü+ÞÕMÛ²ÕMØ,é MÕ8ásåà ÚgÙÅÛÅÜ+Ú(ÛÅÙ0Ü+ÚÁá Ü$ØÅñ¯éëÛ²Ø,Ü$ØÅðýÚ\âgÞxñ?ÕMØÃà+ï*âgÙ²ÕMØjÛÅæ¶Ø,Õ8Ü+ágÙMódÔÖÕ´Ü+â¶Û²à ÞoÜ$ÛÅéäåMÜ+ãäãäðýò+Õ8Ú¶ÕMØ,Ü$Û² Õ Ü8ì$ÜaÞà ÚgéäÛ²à+Ø,Ù&ïÿØ,à Þ ÛÅæ¶ÕÃåà ÚgåMâ¶ØÅØ,Õ8Úgåðiåà ÚÛ²ØÅà ãäãëÕMØ4Ù²×?Õ8åMéëêÁåMÜ$ÛÅéëà ÚÁÙ ö.ægéøå,æo×ÁØÅÕ8Ù²ÕMØÅì+ÕÃÛÅæ¶ÕÃì+ÕMØ,éëêgÕ8ái×gØÅà+×?ÕMØÅÛÅéëÕ8ÙMóü¶à+Ø ÛÅæ¶ÕzÛÅægØÅÕ8Ü+áoì+ÕMØ,éäêÁåMÜ$ÛÅéëà Úö*Õ.âgÙ²Õ.êÁÚgéëÛ²ÕzÙ²ÛÅÜ$Û²Õ×gØÅà+ò+Ø,Ü+Þ ì+ÕMØ,éëêÁåMÜ$ÛÅéëà ÚoÛ²àà ãäÙ ö.ægéäåæÕ8ÚgÜ$ñÁãëÕâÁÙ Û²àì+ÕMØ,éäïÿ ð (Ü8ì$ÜyÛÅæ¶ØÅÕ8Ü+ágÙ4öéëÛÅæ¶à â¶ÛzÜ+ÚðiØÅÕ8Ù²Û²ØéäåÛÅéëà ÚgÙMóÔÖÕdÙ,æ¶àö ÛÅægÜ$ÛzÛÅægÕ&âÁÙ²ÕMØzÛÅæ¶ØÅÕ8Ü+ágÙzåMÜ+Ú ñ?ÕÌì+ÕMØ,éëêgÕ8áâgÙÅéäÚgò}Ù²ÛÅâgñÁÙ.ò+Õ8ÚgÕMØ,Ü$Û²Õ8áÖïQØÅà Þ ÛÅæ¶Õåà ÚgåMâ¶ØÅØÅÕ8ÚÁåð åà ÚÛ²ØÅà ãäãëÕMØjéäÚÛ²ÕMØÅï6Ü+åÕ8Ù&ö.ægéäåæ éäÞo×gØÅàì+Õ8ÙÛÅæ¶ÕjÕ iåMéëÕ8ÚgåðÝà+ïÛÅæ¶Õ0ÛÅæ¶Ø,Õ8Ü+áaì+ÕMØ,éëêÁåMÜ$ÛÅéäà Ú|ÙÅéëò ÚgéäêÁåMÜ+Ú(ÛÅãäð+ó
"!$#&%(')'+*$*-,.*$/#0 21+,. 314 *$*$'+ 5!63*$,.78*:98%(/98*-'7.'+ 3'4*$98;&;=3 3'!$,A@*$,8 37B 3/:9C7.'D,8E
/-9C!:#0,. S!:'+1G
3#&T 3'+/D/$ 1GP9C/!:'+/-!:#0 37VUW'414,8%K'K#& 3'YX'+1+!:#=L.'AEZ,8*D14,. 14 3*-*$'4 5![63*-,.7.*$98%K//$#0 314'A!$G3' /-!:9C!:'?/$639814'\#& 31+*$'498/$'+/A'Y] c
6W,. 3'+ !$#^98;0;0/4N
#& 14'%K,8 3#0!$,.*$/d98*-' 98 K#0 5!:'478*:98;69C*-!e,8Egf.9hLC9iF*$'+14'+ !$;0B#0 314*-'I98/-'4>\9C!-!:'4 5!$#&,. lknmo'I9.p.prqsNutv wf.9ILC9i'4981Gw,8UFx-'41Y!G98/R9 ;&,F1yD98/-/$,F14#&9C!:'+>[@#=!:G(#0!4i8@G3#&1GK1I98 (UW' /$'4>[EZ,.*d/-3/4N zRG3*-'I98>3/b1I98 w#&%(63;&'+%K'+ ! 1+,. 3>3#=!:#&,8 98;g@Q98#0!$/{ 3/-#& 37K|3}3~hw98 3>
(R
&a+C:aZIrYY.:rI
^84$gY+
Ag
¢¡£Y¤s¥¦
u§¨r¨C£+¤©sª-«
¬¨r¤©u®4¯°²±h³?´+¤sY¬4©uµoµ¶g·¹¸Y¸Iº»Y¸Iº¼Y¬r«)°²±h³2µ½¢¶¾Wa¶l:¡g¤"« µoµ¶g·¹¸Y¸+¿À4¿
¤¤Á
å
ÂVÃIÄ+ÄÅeƾÇrÈÉÊ ËÌ8Í:ÎÈÐÏbÑWÉËvÍ:Ò:ÊÓÍ"ÔÖÕ8×sÊÍvØ5×vÍ¢ÙÛÚ3ÜgÚ
ÝÛÞhß5àá.âvãÖä
á(äFáFåKÝÛæ çÐß+äFá
èé W~ê ëK%('+!$G3,F>3/4NeOQ,F,.*$>#& 9C!$#& 37@Q98#0! 98 3>B 3,8!$#0E¹3/1498 wUW'¦L.'+*-
