the behaviour of the processes substituted for actions; (2) the timed extensions ..... 2 Ð1. Ð2 Ð1. Ð2 Ð1. Ð2), where. = 1. 2. (init( 1) ¢ init( 2)) (init( 2) ¢init( 1)). 5) 1.
½ ¾
! ! " #$ ! " %& '& () " *
! " " #$ %$ & $ $ '$( $ $$ $ '( $ $$ $ ! $ $$ $( )$ $ *+,+-. ! $( %$ /$ (' $($ $( %$
( ( $( ) $ $ 0 1 $( !( & $( % ! & $) & $( !( & $( & $( !( & $( !$$$ & $ 01 $( $ $ & $ 0 $) $$1 $ ($) !$ !$( $( %$ 01 $( )$$ $ %$ $ $( &$ $ '$( $ $ ! $$ $ $ %$ $ $ $$ $ ! )
# # 1 ! " ! ! " ! " # # " ! ! " " ! # $!" " $! ! # # % ! 2 #" )# ! " ! 3 4 # ! % # " " &'%'()
# # ! 5" *+ ,- ,+. " ! &'%'() # ! 0 / " $!" "
6 7. !) " !) " "
6 ,6. # ! # " # # ! # # % #"# # % " "
- 8. 7 & ) ) / 0, ! ! # ! " # ! " " " 1 # # !
!
!
"
# $% & ' $ '' ' ((
0- % ! 9, / ) " 6 7. : + - / ) % #! # - - 0 7 !
" #
% 1 2 , $! 0, # # 0-; - $! ! # # "; + "; % *+ ,- ,+. " ! 1 " " !) 5 # % ! 1 ! ! ! # # #"# ! # #" # " # / # 0 #"# ! # ' !) !) *+ ,- ,+. ' !) ! !) *, , # ! # *+ ,- ,+. !) % " / " ! 6 , # *8 ,6 ,,. ! *6 $ ! # ! #
!
"
! " # / # ! #" / " / # #" / # "# ( # # # ' ! HI O # : ! ) / ( (# +- *. # D 1 % # G #! #" # # ! / ! £ #" ) # # # " / ! # 2A ! " # ( # : ' ! / / #"# % # ! *6 / +,, % ! /2
A 6 £ 6
# A , £ ,! ,
2 5
# $% & ' $ '' ' ((
& " " "
# # " # " ! / % "# / & # ! # ! / & " " " + 6 A , A Æ A Æ Æ *. Æ A Æ Æ D G ! £
# # /
0 ) ! ! / "# % / ! " A ! # A # A # A A 2
A A
2
A
A # 0 / *+ ,6 ,,. +-, & # / 4/ +,, # 4/ -,, 0, - % A A
.
+ *
! # % ! # ( 7 .
" + *
( # " *+ ,- ,+ -7. ! ! ! ! A % ! " / ! " % " # ! / ? '#" ! " *6 " # "
-?5 * 7*!! .&/ @ =4 A ) $ ) ( ) .B / 2) +1 66 .*/ 91 : ; 4 :1 4"?5 *7*&" ./ @ =41 D 0 1 D B1 C 0 ' E 4 4 4 "$1 661 -*7&* ."/ 91 : ; 4 :1 ?5 "7& . / : ; 4 :1