!
" #$%%$
! "
# $
$
!
! "#
$ #
%
# #
& '
&
#
&
# #
&
! # %
(#) #
*
! )
+%, -
(./
! 0 1#
23(
- )( ! #
4 5,6# #
% 4 , 4 1 !
# 7
!
## "
0 8
! , #
# #
*
*
( !
&,
! ( 9
9 23(- :-)( - )
1;; < 1=
0 *
#
23( ,# %5>)
23(# #( 0
# , #=1
# , #0
?* &
! % 23(
./
@ & 871
) , ,
, % (
23( 23( ,
##
(#*8
"(
- ) - ) # !
, 6#
# # , -)
&
, & -)
( - )( #
( ! *,
.
#/ ,( '
" !
"
" % -
-)( ./
- ) 1;; #
# & #
,
## , "
- 0 -)
(-A
- )(
A
( # &
% 0 # B
% 6C
" C
! #
! # ( ,
#
# *
' !& &*D
60 &
*
$ & E#
# #
& !
6 %
# +%
%
F-# #
% 6
'
# %
!
%# # %
# . /
F- #
# 0
'.#,/
1
< # -
,
A
# G
# #,9
#G1;;;
# #
% #9
H( #
#( I (
# %
*
#
(
! (
0 %
& %(
# )% & %
% (
< #
( ! , #
# )
#)
E# 1;;;
!
& # <
) 0 & ('
# #*
( , J % # #
# #
+ * #
& # #
( ###
#
* J ,
& #* #
# #
# # <
#6###
# # #
(%
# " % "
# % #( #
#
#
1;;;
! , E# 1;;; #
H), -
#
)9
#
# %
# # *
JJ(<
-% 8 G -' % - 1 .* /
G-A
Initial node
Final node 3
7
8 6 9
4 5
1 S: Request 2 H: Promise
H: Reject S: Withdraw
S: Declare
H: Assert
S: Counter
S: Reject H: Withdraw
H: Accept
S: Withdraw H: Renege
S: Withdraw S: Declare
H: Counter
-10 ! *
(+ #%
# * &
1
$ * . /
6 A 4
& # #
,: #8
## 4 I
#
I # 0
)-8= 1;;;= (
1;;;$#
#= 5 )&
" #
( # *
G - >&
! %# #
9
%
" . /
, 0 , &
I% # &
! ,
* # #
# E#
1;;;= K& 1;;;= A= E ) 1;;
)
0 +%,
! #
# # *
# +%%
5"
6#0
+% -
# #
1;;;
1 %% )
A ! 6# #
4 )#)
E# 1;;;= 1;;; !
,#)
!
,
7 )9
6# #K&
1;;;
! , )
, ) *
!
& , ,#,
% 6#
0
# , ##
#
-2 1;;1= E# 1;;;=)
1;;;= A= 1;;;
1 # %
) 1;;; %
4 )# )
) #
7 ! ) ,
& )
1;;;
- # #
# * B #
C )
' # #%
C B#
C , #
,' #C
! # #0
! #
# '
# ,
# ,
% # &
$ #
# #
# #
" % ,
$
# % !
./ ./.#/./
2 1;;;=
A4 J ,
,( &
> # #
# % (
# & B :;=
G 28 ! ,
E = >
A < + %
5 , #
%
B:;
"&##9
#
# # ,
0
!
-
9
< A:=
(#*;
& ! #
I
"
L4 !
% &
0 J
1 0 #J%
1
< # %
*
$ &
%
-G 28
# 0
* )%
%
# #
# H
< &
' ,
G
G28
G
1A9 #
& ) ($ (
$ ($ :A )5 # M
E 1 % 6#
! & B :;
#
# #9
*= #=
#= #
, " # !
#
#
' !
"
G 28 !
+
#0 D#D DD%D,D
!+ ##
4
2$ : . 2 )
/.6*/.
/ I
#
! #
4 0 ! 2
0 G C
0 < #
0 G C
1
4
7
!0 B## 4
! ##
# # '
! G 28
# ! %
% # ! , 0
#
# !1$
!10 ! %
! %,
+
! %
# KG
2
G 28 :
# #
# 0
#
!
B#-
*$
#&
# * #
! % "
! G
28 %
# !
#
#
0 . / -
7
0 G2C
0 I'
0 7;NC
0 I4;N
0 J2
0 G&
6#
0 ! &
%
* #
# "
!
*
"
- # #
I
,0 6# #
"
#
% ,
(#A;=4=B61;;;0
# #
9 ,##
, ,
#,
#9
# ! & %
#
0 ##
# )
A= )&& 1;;= )&& 1;;;= <&1;; !
6 %
) L -
% *
+
! #
, > 1;;1
0 " "
8,
#
5
"
! $
, &
L
4 I# ,
# 9#
* #, ! ##
$ !
, $ ,
( ./ A B
1;;;
B'# B , #
#
0 6# 6#
6, -
6# # 6#
#
< 6#
#
&
6#
# %
! ( !( 9*, #
.#
DD / J# #
+%(
$ %
5 2$2$
:M#A
1;;;= 1;;; #,,
" 5
, * #
" #
#
&
!
# J
"2$:0 +%
J % #
2$: "
G28
! # 1;;;= 1;;;
! % ,4
# 0 .
*/ !
! #0 "
#%
-40 *
%# #
*
! # #2$'
&'%
! " #$ #
# %&#% % ' % (
%) *
# # %
#
#
(<!>J! " #
$ 1;;;= 1;;;
# B
" & *
(&
% !(O
%
%
6 ./ %
& ! %
.&/ .&/
# %0
1
! ,%
./ ! %
I * ,
'
./ % 0
0
& $
, !
#./ !
&
!
0
%
!
0
!" ! !#$
! +%
% B#
$ &
- 2 - 2 1;;1 #
( , #
&
#
$
# #0
5# #
9
B :; 5,
#
! H %
#6
-
G
! 6
# "
9
!4
!4 &
!
& &
&
& ,
% # !
"%$ %# "+
) &
) &
) 5 &
) 5 &
!40 H ./
&
- ,
# 6# ! %,
' ( * % " )
B##
"
& %
*
$$ ' (
+ &B:;E) #
( E)1;;
&
- %#
%
# *
#&
E )
& # (
9
# # <(
# #
( ,
# 9# #
9#
9# !
(,
G 0
*#(
< )
9 +
# %
> A ! ## "
*0
G & C B,
C
G & ' C )
*G28C
B C #
C
) *
> ! > A
% &G28
F- ,
& ##
%&'
%'
%"'
%'
%&() '
! *&
# >' ,
* +
¼¼
+
5 , 9
,+ -
! ,
* H &
!&6 B#>
B>'%
&,
&,
((, (&P) , &
((()( &
((()( &
&$,
)
) & #
&
#)
$# &> ,
#
! # # -
#
) )-&
)
@ E
I #
** > #
% # > &
M
#&
## G
!
!
!
6!
!
G !
E
& &
5 5 1;;= 5 1;;; #
+%
& B6 1;;;
#
!
#
M# &
" H
# #%
&&
! # &D
# , & "
#
%, #
, 5
#& B
&# ##
G &# ##%
# # ##
6#B6
1;;;
# ##
## ! ,7
###
, ). / )0=
P).
P ).
)1
, 0.
-70 ! %
% # , 7 %
#
# , 0.
#
. # ./ - %
&%
P )2 " )! $ )2
(P")3
2
2 /
(/ 2!
(&2!
! % * *
## *##
*
% # E ,
(, *
) 0. , )0).=
, 0.
-80 *
- 8 %
! # ,
* (&
% '
- # 6
( *
# , ,#
% *DD#
DD E
> >>
B#
$# !
,
) # (
%
<)<)1;;=<
)1;;1 ! ,
" G 2
8 9 !
= ! 6,
J
'
# ! ,
7 0
# # !
,
$# !
, ",9 #
)
#6
4 556P4 674 8P5874 59
# G #
6 D !
#
6 8 68
' ! ,
)
> 0
&
%
* H&
&
M H& *#
%
&
)$ H&
! 5 0
#
!70 5' <)'
< *
$ !7$
" I
$ #<
)1;;# %
G
G #
# M
0
+
# ! " >'
)
! 5 E( )*!
+ ! " & 1;;=
M#A ! &
G
# ,
#*
# !
* 4
1;;1
# E ,
, %
,
!
#
I #,
0
- 2
1;;1 ! # "
$# E # " 0
& ,
## 9 #
# <)1;;1 !
(
!80 ! %
, %$
8 !
&
! %
# !
9 %
# %
# %$ -
* *
B#
%$
% # '
1;;0 *9
1;;1 # *
, ./ &
* & & #
*
9
& #
M #
! #9
& I & *
6 #
# 0 +
"
#
! ) ,---*. ½¾
) # %*
½
¾
½
¾
+
¾
½
#$
%
( ##
,
(
%
( #
#
& " %
%$
! # , #
,
0 !
# #
! # #
*, (
! # #
%
! %
)
! $ "
%
'
#
( " 6# 4 1
,
> #
< 1;;1 *
9
0
! , - ./ 2
&
& & )+% -
#
6 ## &&
I
6
* 9 E
#)&&1;;;=5 1;;
#
2$ : !
< 1;;1
0 #
1 ( - ( )
-* %
# % #
M%! 1;; <
1;;1
B#"
#5 !
, #
) ! ) %
# # #
B6 ! *
#
#6
<&1;;
4 ! (0
G # "
' #
./ #
- > 1;;1
)
L & %
<
) 1;;1 5
1;;;*
M# A * #0
& C 9
# #
G *
C 9 6
%C
7 ( G
* 1;;1
%
# <
G #
> A &
,
, 9
<)1;;1 %$
1;; B#
< 1;;1
*,
,
&
*,
0
! 1 -) ,
# '
, 5, )
# * *
. / - 2
1;;1 1;; , #
!
9 1;;; M# A
?
% <)
1;; ,
9
9
< 1;;1
1 ! !
# ,
!
& #%
# M# & , )
% Q(9
-!&M 1;; 5
E #
<1;;
# ,
G ) #
G
) 1;;; ) 1;;1 #
%
G2'&*
! & 1;;##
!## ,
H
< 1;;1
7 ( ! ' # #
B#M 1;;#
!
% , ) 9
&#+%
# ! %
% ) - !
. /
# , ) #
% ! &
)
) * #
- & ? * "
,
#C *
#D# #
&
#
#
# ! #
9
) 1;;; -
, #
#
# 9) 1;;1
$ &9
< " # C
###%
>&% 0 <5JIE<
5 J I E
< 1;; #D#<
(1;;; ! &&, #
( I ) 1;;;
( 3 *
/! */!444R4A< MMM )
( ) I 1;;;
( 2 !1 *
2!*44AR471< J)
1A $ )J%H2 G 5 >M
L ( 1 )$5 5 J%H#)0
J%M
< -% 8 0
( 1 *
/! */!:R18
<E (( 1;;; 5## (
56 ' *<
<5 1;; / ) + H#S(#
3S ! >
< A: * B#H#
)
<& E 1;; 5 0
7
1018:R1A1
<L 5 B6L B@ #!( 1;;
! 0 +
( . * !
! ! 8449R )
5 - L& ! L 1;;; 5#
# 0 * ! :*
;"'!*9<=<47R4:A
< I ( 1;;1 >*
(
56 ! "
( <
!1 * 71014R1
) > (#* B L 8 # ,
( * /
*/!>=8R:1
1;;;
# ( 56! "
( 1R1<
1;;;
( . 56
("/ ("/44
> T - ! ( T )T 1;;;
0 ) + 8444
:AR1
5 B6L !( K 1;;; I
( # ?)!1 *
#'!*442 #
5 B6 L ! ( K 1;; I
( = *
! ! ! 8449 A;RA
)
5- !* :0R:
5 - 52U$ < K > 1;;;
(ST
( ( * 56! $
! " !$!"8444 7R8<
H
5 - E# 1;;; *
#" ' K
M E !## 2 ) 1;;
# ( 1
* !! ! 8449 :R
A; )
M%! < > L I > 1;; >
( 1 * !
! ! 84494R4A )
M
-! ( T , L : 23(
< L 1R4
D !)
-> - 2> 1;;1 #
-) - ) 1;; #
,Q;;;4:B 0DD , D
E! - B &)
! AR1;4
(M
E# B&B < L 1;;; G #
C ) + 8444 AR4
E - ) L 1;;
V L ) M -
( . * !
! 7:R8;7IT&H )
B ( :; .
B6 L 1;;; 5 6 >
( 3 56
+ 44
B6L 1;;; ) ) 5
H#!! I
L I > 4 #0
$ 6
A40114R18;
2 ! $ I&6 ! 1;;; !
B
1018R1A7
( T - ! A #
B C
148R171 2
(T -! )T 0
*222 * 78R81
(#L L A; 50
7048R71;
# ) +
84444R1;7
($ ) ($ 2 :A ) "6 G
< 5E
2$L : 3# 7
A0:R44
I 1;; /D 0
@A % - ) 5 H#S )
!
I 1;;1 I9 7
I M# - A &
( 856.
( ) A8RA H# ! !
I
<) ) 1;; 0
) E$) ( 56
+ $ ) $ ! +$)$8449
:;R:: )& ) !
>;;4
< ) ) 1;; 5
( 56 !
! 77R7:!-
<) ) 1;;1 E 0
& 7 ""
* ; 4
< ) ) G 1;;1 5
L G (
( . * 7 !
! /! !!/!8448<
5 L 4 ) ) 5
(H#M
< A4 !
G&G @ ! (I
77 K
< < ##,
J'BE LI . )
!1 * 4R88 G
( 8*
/! */!>E1:R1:7 )
) L I > A
7 " A401R11
) G ( 1;;1
L G ( (
1 * ! !
/ !!/!8448<
)&B K K$#0
( *
/ */!>E 1:8R1A1
)
) L 1;;;
0 # )
+ 8444;R::
)&& B 1;;; J
( < 2 56"
!1 * 72"*! ( I 14R
184
)&& B 1;; >
1:0A:R1
> A 5 (
$* /! */!>F
17R184)- MMM )
> I! E 5 1;;1 !
- !- !) 1;; (
0# 2 (
* ! 2 !1
* # !*#8449
T&H2 <
L > !A ! 2 ( "
H#)0 M
) A 0 &
*222 7;R7:
) 1;;;
) + 84444R78
A (M
(
K&( < 1;;; 66
) + 8444148R17A
G5 2M 8 A
H#IT&)IT
G! -- A G A
!' . ) %) IIL
A
G 1;;; #,
7 !! /!
40R4
G ) 1;;; ( (
93 2 !1 * 2!*44
44R4:<E