From: togashi@fuji.noguchi.riec.tohoku.ac.jp (Atsushi Togashi)
Newsgroups: fj.meetings
Subject: JSSST: Tutorial on Concurrent Process Models
Date: 26 Aug 92 08:12:49 GMT
Distribution: fj
Organization: Research Institute of Electrical Communication, TOHOKU univ.


$@ElKLBg3X$NIY3_$G$9!#(J

$@#1#17n$NKv$K9T$J$&M=Dj$N(J

                $@%=%U%H%&%'%"2J3X2q<g:E%A%e!<%H%j%"%k(J
                   $@!VJB9T%W%m%;%9$N7W;;%b%G%k!W(J

$@$N3+:E0F(J$@Fb$H;22C?=$79~$_=q$r(J post $@$$$?$7$^$9!#(J

            ------------  cut here  ----------------




              $@F|K\%=%U%H%&%'%"2J3X2q(J $@%A%e!<%H%j%"%k(J


                     $@!VJB9T%W%m%;%9$N7W;;%b%G%k!W(J

       -- $@=89gO@$N4pAC$,$o$+$l$P(J  $@$"$J$?$bJB9T%W%m%;%9$N@lLg2H(J --


                              $@3+:E(J$@$N$40FFb(J 


  CCS, CSP $@$d(J ACP $@$KBeI=$5$l$k%W%m%;%97W;;!?Be?t$O!$C1=c$J9=B$$+$iF3$+(J
$@$l$k9b$$7A<0@-$HHF(J$@MQ@-$K$h$j!$8=:_:G$bM-K>$JJB9T%W%m%;%9$N$?$a$N7W;;%b(J
$@%G%k$G$9!%@vN}$5$l$?Be?tE*M}O@$d7A<0@-$,M-MQ$G$"(J$@$k$3$H$O$b$A$m$s$N$3$H!$(J
$@<!$K5s$2$k$h$&$J1~MQLL$K$D$$$F$b6aG/CmL\$5$l!$$=$N3XLdE*0U5A$O$H$F$bBg(J
$@$-$$$H(J$@8@$($^$9!%(J

 $@!&JB9T%W%m%;%9$"$k$$$ODL?.%W%m%H%3%k$N7A<0;EMM5-=R(J
 $@!&Ey2A@-$K4p$E$/%7%9%F%`$N@5Ev@-8!>Z(J
 $@!&JBNs%W%m%0%i%_%s%08@8l$N7A<0E*0UL#5-=R(J
 $@!&%*%V%8%'%/%H;X8~7W;;$d6(D47W;;$N7A<0E*%b%G%k(J

  $@F|K\%=%U(J$@%H%&%'%"2J3X2q$G$O!$$5$^$6$^$J%A%e!<%H%j%"%k$r3+:E$7$F$$$^$9(J
$@$,!$$3$NEY!$!VJB9T%W%m%;%9$N7W;;%b%G%k!W(J$@$K$D$$$F!$2<5-$NMWNN$G%A%e!<%H(J
$@%j%"%k$r3+:ECW$7$^$9!%(J


  $@$3$N%A%e!<%H%j%"%k$G$O!$JB9T7W;;$dDL?.%W%m%H(J$@%3%k!$$"$k$$$OJBNsJ,;6=h(J
$@M}$d%(!<%8%'%s%H$K$h$k7W;;%Q%i%@%$%`!J%*%V%8%'%/%H;X8~!$6(D47W;;$J$I!K(J
$@$J$I$N(J$@8&5f!&3+H/$K7H$o$C$F$$$kBg3X@8!?Bg3X1!@8!?8&5f<T!?5;=Q<T$J$I$rBP(J
$@>]$H$7$F!$JB9T7W;;%b%G%k$H$7$F$N!V%W(J$@%m%;%97W;;!?Be?t!W$K$D$$$F!$4pAC$+(J
$@$i:G6a$NOCBj$K$D$$$F$o$+$j0W$/2r@bCW$7$^$9!%9V;U$O!$(Jbf bit$@;f>e$GO"(J$@:\(J
$@!V%W%m%;%9Be?t$H$=$N1~MQ!W$rC4Ev$5$l$?ElKLBg3XEE5$DL?.8&5f=j$NIY3_FX;a(J
$@$G$9!%=89gO@$K4X$9$k4pACCN<1(J$@$r$*;}$A$JJ}$G$"$l$P!$JB9T%W%m%;%9$N7W;;%b(J
$@%G%k$K$D$$$FG<F@$$$/$^$GI,$:M}2r$G$-$k$h$&$KCW$7$^$9!%K-IY(J$@$JNc$r8r$($J(J
$@$,$i!$JB9T%W%m%;%9$N3K?4$KGw$j$?$$$H;W$$$^$9!%9V1iCf$K!$%*!<%H%^%H%s!$(J
$@Be?t!$7A<0O@M}!$IT(J$@F0E@M}O@$J$I$N35G0$,=P$F$^$$$j$^$9$,!$$3$l$i$K$D$$$F(J
$@$NM=HwCN<1$OA4$/L5MQ$G$9!%$3$l$i$N35G0$K$D$$$F$b(J$@$o$+$j0W$/@bL@CW$7$^$9!%(J
$@:#2s$N%A%e!<%H%j%"%k$N%b%C%H!<$O!$!V=89gO@$N4pAC$,$o$+$l$P!$$"$J$?$bJB(J
$@9T%W%m(J$@%;%9$N@lLg2H!W$G$9!%B??t$N$4;22C$r$*4j$$?=$7>e$2$^$9(J.


$@#1(J. $@F|;~!&>l=j(J

    $@F|;~(J:  1992$@G/(J11$@7n(J24$@F|(J ($@2P(J) $@!A(J 25$@F|(J ($@?e(J) 
           9:30 $@!A(J 17:30 
    $@>l=j(J:  $@El5~9)6HBg3X(J  $@9q:]8rN.2q4[(J $@B?L\E*%[!<%k(J 
	       $@El5^L\3w@~!$$b$7$/$OEl5^Bg0fD.@~Bg2,;31X$h$jELJb(J10$@J,(J 
	       $@El5^CS>e@~(J $@@P@nBf1X$h$jELJb(J7$@J,(J 


$@#2(J. $@9V;U(J

    $@IY3_(J $@FX!JElKLBg3X(J $@EE5$DL?.8&5f=j!K(J


$@#3(J. $@%W%m%0%i%`(J


    $@F|(J 	    $@;~(J  $@4V(J	$@9V(J $@1i(J $@%F(J $@!<(J $@%^(J $@$H(J $@Fb(J $@MF(J

   11/24
   ($@2P(J)   9:30-11:30	$@Be?tE*JB9T%W%m%;%9$N4pAC(J: 

			$@%W%m%;%9$H4QB,!$%i%Y%kIU$-A+0\%7%9(J$@%F%`!$(J
			$@%W%m%;%9$NBe?tE*7A<02=!$%W%m%;%9$NEy2A@-!$(J
			$@%W%m%;%9Be?t$H%W%m%;%97W;;!$(J
			$@$=$NB>$N7W;;%b(J$@%G%k$H$NHf3S(J

         13:00-15:00	$@APLOJo$K$h$k%W%m%;%9$NEy2A@-(J: 

			$@6/Ey2A@-!$<eEy2A@-!$4QB,Ey2A@-!$(J$@9gF1Ey2A@-!$(J
			$@Ey2A@-$N40A48xM}2=!$%W%m%;%9O@M}$HEy2A@-(J

         15:30-17:30	$@%W%m%;%9$N$=$NB>$NEy2A(J$@@-(J: 
                    
			$@;n83Ey2A@-!J;n83%7%9%F%`$H;n83Ey2A@-!$(J
			$@40A4Cj>]%b%G%k!$40A48xM}2=!K!$(J
			$@%H%l!<%9Ey2A@-!$<:GTEy2A@-(J


   11/25  
   ($@?e(J)   9:30-11:30	$@%W%m%;%97W;;(J CCS $@$H(J CSP: 
                 
			CCS $@$H(J CSP $@354Q!J%7%s%?%C%/%9$H%;%^%s%F%#%C%/%9!K!$(J
			$@Ey2A<0!$(JCCS $@$H9gF1Ey2A@-!$(JCSP $@$H<:GT(J$@Ey2A@-!$(J
			$@N><T$NHf3S!$%7%9%F%`5-=RNc(J

         13:00-15:00	LOTOS $@$H%W%m%;%9Be?t(J ACP: 

			$@DL?.%W%m%H(J$@%3%k;EMM5-=R8@8l$H$7$F$N(J LOTOS$@!$(J
			ACP $@$K$*$1$k%W%m%;%9$N35G0!$(J
			$@%W%m%;%9Be?t$HEy<0O@M}!$(J
			ACP$@&S(J: $@JB9T@-!\%3%_%e%K%1!<%7%g%s!\Cj>]2=!$(J
			CCS $@$d(J CSP $@$H$N0c$$(J

         15:30-17:30	$@:G6a$N%H%T%C%/%9$H(J$@H/E8E*OCBj(J: 
                    
			$@Ey2A@-H=DjK!!$;~4V$N35G0!$%W%m%;%9O@M}!$(J
			$@9b3,$N%W%m%;%97W;;!$(J$@JBNs=q$-49$(%7%9%F%`!$(J
			$@JBNs%W%m%0%i%_%s%08@8l$N7A<0E*0UL#5-=R!$(J
			$@%*%V%8%'%/%H;X8~!?6(D47W;;$H%W%m(J$@%;%97W;;$J$I(J


  	$@$J$*!$;~4V$N4X78$G!$9V5AFbMF$,>e$NI=$H<c430[$J$k>l9g$,$"$j$^$9(J
	$@$3$H$r$4N;>52<$5$$!%(J


$@#4(J. $@Dj0w(J

    60$@L>(J


$@#5(J. $@;22CHq(J

		  $@0l(J $@HL(J   	   $@3X(J $@@8(J

    $@2q(J $@0w(J        24,000 $@1_(J         6,000 $@1_(J  
    $@Hs(J $@2q(J $@0w(J     39,000 $@1_(J         8,000 $@1_(J 


	$@F~2q?=$79~$_Cf$NJ}$O2q0w$NHqMQ$G;22C$G$-$^$9(J.

	$@;2(J$@2CHq$K$O%F%-%9%HBe(J 4,000$@1_(J $@$,4^$^$l$F$$$^$9!%$^$?!$%F%-%9%H(J
	$@$O=q$-2<$m$7$N%F%-%9%H!J(J200$@%Z!<%80L$K$J$k(J$@M=Dj!K$r;HMQCW$7$^$9!%(J


$@#6(J. $@?=9~$_J}K!(J

  $@D09V$r4uK>$5$l$kJ}$O(J, $@=jDj$N?=$79~$_MQ;f$K5-F~$7(J, $@2<5-?=$7(J$@9~$_@h$K$4(J
$@M9Aw2<$5$$(J. $@F1;~$K2<5-6d9T8}:B$K;22CHq$r$4Aw6b2<$5$$(J. $@Aw6b$r$b$C$FEPO?(J
$@<uM}$H$7$^$9(J. $@EEOC$d(J$@EE;R%a!<%k$G$N?=$79~$_$O$G$-$^$;$s$N$G$4N;>52<$5$$(J. 
$@EPO?<T$K$O(J, $@8eF|(J, $@K\2q$+$i>\$7$$F|Dx$H2q>l0FFb?^(J$@$r$*Aw$jCW$7$^$9(J. $@$J$*(J, 
$@Dj0w$KC#$7<!Bh(J, $@?=$79~$_$rDy$a@Z$i$;$F$$$?$@$-$^$9$N$G(J, $@$"$i$+$8$a$4N;(J
$@>52<$5(J$@$$(J. $@@A5a=q$,I,MW$JJ}$O(J, $@MQ;f$N!V@A5a=q!W$NMs$K%A%'%C%/$r$*4j$$CW(J
$@$7$^$9(J. $@@^$jJV$7$*Aw$jCW$7$^$9(J. $@6d9T(J$@$NAw6b95$($r$b$C$FNN<}=q$HCW$7$^$9(J
$@$,(J, $@K\2q$NNN<}=q$,I,MW$J>l9g$K$O(J, $@MQ;f$N!VNN<}=q!W$NMs$r%A%'%C%/$7(J$@$F$$(J
$@$?$@$1$l$P(J, $@2q>l$G$*EO$7$7$^$9(J.

   $@?=$79~$_@h(J    $@")(J105 $@El5~ET9A6hIM>>D.(J2--4--1 
                 $@@$3&KG0W%;%s%?!<%S%k(J $@;d=qH"(J 104$@9f(J 
                 $@F|K\%=%U%H%&%'%"2J3X2q(J $@;vL36I(J 
                 $@JB9T%W%m%;%9$N7W;;%b%G%k!&%A%e!<%H%j%"%k78(J 

   $@Aw6b6d9T8}:B(J  $@=;M'6d9T(J $@El5~8xL3It(J 501804 
                     $@F|K\%=%U%H%&%'%"2J3X2q(J 


$@#7(J. $@Ld$$9g$o$;@h(J

   $@F|K\%=%U%H%&%'%"2J3X2q;vL36I(J (TEL: 03--3436--4536), 

   $@$^$?$O(J, 

   $@ElKLBg3XEE5$DL?.8&5f=j(J $@IY3_FX(J 
	TEL: 022--227--6200$@!JFb@~(J 3412$@!K(J, 
        FAX: 022--263--9848, 
 	E-mail: togashi@riec.tohoku.ac.jp

   $@$^$G$*Ld$$9g$;2<$5$$(J.

----------------------------------------------------------------------

           $@!VJB9T%W%m%;%97W;;%b%G%k!W%A%e!<%H(J$@%j%"%k(J 

                         $@;22C?=9~=q(J


$@!VJB9T%W%m%;%97W;;%b%G%k!&%A%e!<%H%j%"%k!W$X$N;22C$r0J(J$@2<$N$h$&$K?=$79~(J
$@$_$^$9!%(J

$@;aL>(J($@$U$j$,$J(J):

$@=jB0(J:


$@=;=j(J:


$@EEOCHV9f(J:


$@0J2<$N$$$:$l$+$K%A%'%C%/$7$F2<(J$@$5$$!%(J


$@;22CHq(J:               $@0lHL(J          $@3X@8(J
         $@2q0w(J     24,000 $@1_(J $@""(J     6,000 $@1_(J $@""(J
         $@Hs2q0w(J   39,000 $@1_(J $@""(J     8,000 $@1_(J $@""(J

$@2q0w$NJ}$O2q0wHV9f(J($@$^$?$OF~2q?=9~F|(J):


$@I,MW$JJ}$O%A%'%C%/(J$@$7$F2<$5$$!%(J


$@@A5a=q(J $@""(J

$@NN<}=q(J $@""(J


$@Cm(J) $@?=9~=q$O0l?M0lKg$H$7$F2<$5$$!%(J($@$3$NMQ;f$N%3%T!<$G2D(J)

----------------------------------------------------------------------
Newsgroups: fj.meetings