- Email: [email protected]
Local DCPOs, Local CPOs and Local Completions
¾¼
!
!"#
!$%# & ¼ ½
Æ
!!! "# $ # % &' ('
' ( ( ) * * & &
( ( !$$# & & +, & & - . !%(/# 0 . - ,
. )
!1# 2 * . , 2 . 3 ¾ . 2 0 , . !4# 3
¾
!" # $" % $"
%
3
)
5 6 !"#7 3 5 5 ) 6 7 67 5 6 7 5 67 8 67 67 5 67 - 6 7 96 7
!"$%#
96 7
96 7 96 7
96 7
¾
&
96 7
:
; 96 7 6 7 ¼ . 96 7 67 5 5 < ½ 96 7 96 7 ½ & 96 7 96 7 96 7 - 96 7 ¾
! "
# $ %
&'$(
' 3 ;96 7 5 96 7 6 7 3 ;6 7 5 96 7 ;96 7 6 7
)
5
; 5 = ; =
= 5 ¾ 6 7 ;96 7 96 7 6 7 ;6 7 96 7 6 7 96 7 96 7 6 7 ;6 7 ;96 7 96 7
%
/
, 6 7 ;96 7 5 6 7 96 7
2 %: 96 7 + 6 7 ;6 7 96 7 96 7 96 7 ; . 6 !>#7 96 7 2 %: 96 7 <
5 6 7 96 7 %$ 6 7 , 6 7 6 7 6 7 ;6 7 96 7 6 7 ;96 7 96 7 ;6 7 ;96 7 ¾ 3
6 7 ;96 7 6 7 ;6 7
%
;96 7
;6 7
;6 7 = 6 7
¼ 96 7 67 5
;96 7 96 7 ;96 7 ;96 7 ;96 7 6 7 6 7
´ µ 5 ´ µ ;96 7 6 7 + 96 7 96 7 ;96 7 ;6 7 ;6 7 ;96 7
;6 7 !$%# 96 7 6 7 ;96 7 96 7 4
;96 7 + . %$ 96 7 = 6 7
, %/ ;6 7 96 7 6 7 ;6 7 ;6 7) ;6 7 ¾ ;6 7 ;96 7 & & 3
*
6 7
6 7 6 7
*
6 7
;96 7
;
;
;6 7
*
;9
½ 96 7 96 7 ½ & 96 7 96 7 96 7 96 76 7 5
6 7 5 - 96 7 96 7 96 7 96 7 96 7 - 5
< ;6 7 96 7 9 ; ?
+ ;96 7 & & 96 7 96 7 96 7 96 7 Æ 5 Æ 96 7 96 7 6;96 77 ;96 7 8 ;96 7 96 7 9 ;9 >
& ¾ ! !
# %
&'$( '$(
' .
6 7
6 7 6 7
;
6 7
;9
;
*
96 7
; 8 %> - ; 6 7 96 7 96 7 ; & 6 7 6 7 + 6 7 96 7 96 7 ;9 6 7 5 96 7 5 96 7 6 96 77 & & 8 ' 96 7 96 7 96 7 96 7696 77 96 7 96 76 7 96 7 96 7 96 76;96 77 ;9 6 7 ;9 6 7 5 96 7 . + - ¾ ' . - 3
1
+
$
%
'
' ! #
! #
! # + 67 67 67 67 5 67 5 @ 6 7 5 67 67 67 67 ; 67 5 67 6 7 5 67 5 . ( . ¾
,
)*
67 67
6 7 67 5 ? 6 7 6 7 67 67 5 67 <
67 6 7 ¾
& '
( Ü Ý ¿
A
- ; -
*
?
)
' . ? !%( /# . . !%# ' . . !4# 2 0 !1# *
, ' 8 !A# * - + 2 * . 3 2 & ?, !$# !"# ; "
' . ( . !4# 2 0 , !1# 2 * . B .
86 7 !4# ) .
86 7 !1#
, 6 7 . , ; ( 3
. < - ) . . B 6 7 . ' 6 7 = ;6 7 67 5
%
6 7 6 7
- +
$C
6 6 77
. /
%$
- !1# - - ¾ + ;96 7 . 8 !A# 2 5 C C C C 6 7 C C 5 67 ;96 7
#
- +
6 7 6 7 ;96 7 ;96 7 ;96 7 & 86 7 86;96 77 6 7 . Ì ;96 7 ;96 7 = = 86 7 86;96 77 . + - ¾
6 7
6 7
#
- +
*
< ;96 7
86 7 86;96 77 8 ;96 7 . ;96 7 ;96 7 ¾ $$
67 5 6 7
67 67 %
%
86 7 86 7
¾
5
3 67 5 6 86 77 86 7 5 2 :1 67 5 6 7 3 5 86 7 67 6 86 77 86 7 86 7 6 86 77 67 67 6 7 5 67 67 67 67
67 5 67 ¾ !
86 7 86 7
! "
%
Æ Æ
¾
)*
*
*
*
)*
5 67 5 67 ; ¾ 3 . 2 0 , ( ; , :A ' $%
8 3
( ( < 6 7 3
-
. ' 6 . 7
"#$ % ! & ' ( ' $
) * ) &* #+,- ".$ / 0 & 1#++23 #456#+5 "5$ / $ $ 7 & 1#++23 5.6-, "-$ / " $ $ $ 7 & 1#++23 #,.6#+8 "2$ / ' (! $ & 1#++,3 25685 "4$ 9 9 : ( ( : : ) 0 ; * * 0 < & & ; = > % ( ? @ ! 1#+,A3 588 "8$ ; ) + * & #++8 ",$ * : B 0 0 C "+$ * * )# )# $ $ D & & 9 * ' ' ' C B #++# $:
"#A$ * * ) $ $ 7 1#++,3 / 562+ "##$ * * E ) , $ ) $ E 7 1#++-3 "#.$ F ( <0 0 = C B 0 0 #++5
$/
!
!"#
!$%# & ¼ ½
Æ
!!! "# $ # % &' ('
' ( ( ) * * & &
( ( !$$# & & +, & & - . !%(/# 0 . - ,
. )
!1# 2 * . , 2 . 3 ¾ . 2 0 , . !4# 3
¾
!" # $" % $"
%
3
)
5 6 !"#7 3 5 5 ) 6 7 67 5 6 7 5 67 8 67 67 5 67 - 6 7 96 7
!"$%#
96 7
96 7 96 7
96 7
¾
&
96 7
:
; 96 7 6 7 ¼ . 96 7 67 5 5 < ½ 96 7 96 7 ½ & 96 7 96 7 96 7 - 96 7 ¾
! "
# $ %
&'$(
' 3 ;96 7 5 96 7 6 7 3 ;6 7 5 96 7 ;96 7 6 7
)
5
; 5 = ; =
= 5 ¾ 6 7 ;96 7 96 7 6 7 ;6 7 96 7 6 7 96 7 96 7 6 7 ;6 7 ;96 7 96 7
%
/
, 6 7 ;96 7 5 6 7 96 7
2 %: 96 7 + 6 7 ;6 7 96 7 96 7 96 7 ; . 6 !>#7 96 7 2 %: 96 7 <
5 6 7 96 7 %$ 6 7 , 6 7 6 7 6 7 ;6 7 96 7 6 7 ;96 7 96 7 ;6 7 ;96 7 ¾ 3
6 7 ;96 7 6 7 ;6 7
%
;96 7
;6 7
;6 7 = 6 7
¼ 96 7 67 5
;96 7 96 7 ;96 7 ;96 7 ;96 7 6 7 6 7
´ µ 5 ´ µ ;96 7 6 7 + 96 7 96 7 ;96 7 ;6 7 ;6 7 ;96 7
;6 7 !$%# 96 7 6 7 ;96 7 96 7 4
;96 7 + . %$ 96 7 = 6 7
, %/ ;6 7 96 7 6 7 ;6 7 ;6 7) ;6 7 ¾ ;6 7 ;96 7 & & 3
*
6 7
6 7 6 7
*
6 7
;96 7
;
;
;6 7
*
;9
½ 96 7 96 7 ½ & 96 7 96 7 96 7 96 76 7 5
6 7 5 - 96 7 96 7 96 7 96 7 96 7 - 5
< ;6 7 96 7 9 ; ?
+ ;96 7 & & 96 7 96 7 96 7 96 7 Æ 5 Æ 96 7 96 7 6;96 77 ;96 7 8 ;96 7 96 7 9 ;9 >
& ¾ ! !
# %
&'$( '$(
' .
6 7
6 7 6 7
;
6 7
;9
;
*
96 7
; 8 %> - ; 6 7 96 7 96 7 ; & 6 7 6 7 + 6 7 96 7 96 7 ;9 6 7 5 96 7 5 96 7 6 96 77 & & 8 ' 96 7 96 7 96 7 96 7696 77 96 7 96 76 7 96 7 96 7 96 76;96 77 ;9 6 7 ;9 6 7 5 96 7 . + - ¾ ' . - 3
1
+
$
%
'
' ! #
! #
! # + 67 67 67 67 5 67 5 @ 6 7 5 67 67 67 67 ; 67 5 67 6 7 5 67 5 . ( . ¾
,
)*
67 67
6 7 67 5 ? 6 7 6 7 67 67 5 67 <
67 6 7 ¾
& '
( Ü Ý ¿
A
- ; -
*
?
)
' . ? !%( /# . . !%# ' . . !4# 2 0 !1# *
, ' 8 !A# * - + 2 * . 3 2 & ?, !$# !"# ; "
' . ( . !4# 2 0 , !1# 2 * . B .
86 7 !4# ) .
86 7 !1#
, 6 7 . , ; ( 3
. < - ) . . B 6 7 . ' 6 7 = ;6 7 67 5
%
6 7 6 7
- +
$C
6 6 77
. /
%$
- !1# - - ¾ + ;96 7 . 8 !A# 2 5 C C C C 6 7 C C 5 67 ;96 7
#
- +
6 7 6 7 ;96 7 ;96 7 ;96 7 & 86 7 86;96 77 6 7 . Ì ;96 7 ;96 7 = = 86 7 86;96 77 . + - ¾
6 7
6 7
#
- +
*
< ;96 7
86 7 86;96 77 8 ;96 7 . ;96 7 ;96 7 ¾ $$
67 5 6 7
67 67 %
%
86 7 86 7
¾
5
3 67 5 6 86 77 86 7 5 2 :1 67 5 6 7 3 5 86 7 67 6 86 77 86 7 86 7 6 86 77 67 67 6 7 5 67 67 67 67
67 5 67 ¾ !
86 7 86 7
! "
%
Æ Æ
¾
)*
*
*
*
)*
5 67 5 67 ; ¾ 3 . 2 0 , ( ; , :A ' $%
8 3
( ( < 6 7 3
-
. ' 6 . 7
"#$ % ! & ' ( ' $
) * ) &* #+,- ".$ / 0 & 1#++23 #456#+5 "5$ / $ $ 7 & 1#++23 5.6-, "-$ / " $ $ $ 7 & 1#++23 #,.6#+8 "2$ / ' (! $ & 1#++,3 25685 "4$ 9 9 : ( ( : : ) 0 ; * * 0 < & & ; = > % ( ? @ ! 1#+,A3 588 "8$ ; ) + * & #++8 ",$ * : B 0 0 C "+$ * * )# )# $ $ D & & 9 * ' ' ' C B #++# $:
"#A$ * * ) $ $ 7 1#++,3 / 562+ "##$ * * E ) , $ ) $ E 7 1#++-3 "#.$ F ( <0 0 = C B 0 0 #++5
$/