Caromel · Henrio A Theory of Distributed Objects
Denis Caromel · Ludovic Henrio
A Theory of Distributed Objects Asynchrony – Mobility – Groups – Components Preface by Luca Cardelli
With 114 Figures and 48 Tables
123
Denis Caromel University of Nice Sophia Antipolis I3S CNRS – INRIA Institut universitaire de France 2004 Rt. des Lucioles, BP 93 06902 Sophia Antipolis Cedex, France e-mail:
[email protected] Ludovic Henrio University of Westminster Harrow School of Computer Science Watford Rd, Northwick Park Harrow HA1 3TP, UK e-mail:
[email protected] Library of Congress Control Number: 2005923024 Library of Congress Control Number: 2005923024
ISBN-10 3-540-20866-6 Springer Berlin Heidelberg New York ISBN-13 978-3-540-20866-2 Springer Berlin Heidelberg New York ISBN-10 3-540-20866-6 Springer Berlin Heidelberg New York ISBN-13 Springer Berlin Heidelberg Yorkor part of the material This work 978-3-540-20866-2 is subject to copyright. All rights are reserved, whether New the whole is concerned, specifically the rights of translation, reprinting, reuse of illustrations, recitation, broadThis work is subject toon copyright. areother reserved, whether the in whole part of the material casting, reproduction microfilmAllorrights in any way, and storage dataor banks. Duplication of is concerned, specifically the rights of translation, reprinting, reuse of illustrations, recitation, broadthis publication or parts thereof is permitted only under the provisions of the German Copyright Law casting, reproduction microfilm in anyand other way, and for storage in data banks. of of September 9, 1965, on in its current or version, permission use must always be Duplication obtained from this publication or parts thereof permitted only under the provisions of the German Copyright Law Springer. Violations are liable forisprosecution under the German Copyright Law. of September 9, 1965, in its current version, and permission for use must always be obtained from Springer is a part of are Springer Media Springer. Violations liable Science+Business for prosecution under the German Copyright Law. springeronline.com Springer is a part of Springer Science+Business Media © Springer-Verlag Berlin Heidelberg 2005 springeronline.com Printed in Germany © Springer-Verlag Berlin Heidelberg 2005 The usein ofGermany general descriptive names, registered names, trademarks, etc. in this publication does not Printed imply, even in the absence of a specific statement, that such names are exempt from the relevant proThe uselaws of general descriptive names, registered etc. in this publication does not tective and regulations and therefore free fornames, generaltrademarks, use. imply, even in the absence of a specific statement, that such names are exempt from the relevant proTypesetlaws by the usingand a Springer TEfree X macro package tective andauthors regulations therefore for general use. Production: LE-TEX Jelonek, Schmidt & Vöckler GbR, Leipzig Typeset by theKünkelLopka, authors using Heidelberg a Springer TEX macro package Cover design: Production: LE-TEX Jelonek, Schmidt & Vöckler GbR, Leipzig Printeddesign: on acid-free paper Heidelberg 45/3142/YL - 5 4 3 2 1 0 Cover KünkelLopka, Printed on acid-free paper
45/3142/YL - 5 4 3 2 1 0
P
U
#
U
!
!
!
!
+
+
#
Y
F
!
+
#
Y
%
+
!
#
6
G
%
A
#
A
#
M
G
!
!
M
F
M
M
6
!
O
!
O
O
#
!
6
%
q
+
#
A
#
5
+
A
O
F
A
M
O
O
O
O
s
O
#
G
+
y
M
F
#
O
O
A
z
%
%
!
Y
#
k
o
+
?
M
n
#
.
!
)
$
!
A
)
,
.
.
.
0
1
.
)
.
'
>
6
>
!
)
)
I
1
!
;
)
$
!
)
,
.
>
.
0
@
)
=
0
A
.
0
!
!
!
K
$
)
1
!
D
R
T
K
)
A
)
!
"
!
K
1
!
>
>
!
K
@
1
'
1
K
'
@
!
>
A
.
I
1
)
!
I
;
D
I
@
$
1
.
0
!
=
K
.
1
!
"
@
A
!
'
K
)
1
I
!
"
)
$
.
!
)
)
,
1
.
R
]
)
.
.
A
.
I
1
)
!
!
0
.
1
!
>
>
0
1
!
.
.
.
K
K
R
@
_
.
>
!
!
A
)
.
0
.
0
)
K
)
@
!
=
d
1
'
!
)
!
A
)
>
>
A
>
!
K
"
!
)
.
)
=
0
@
)
!
A
)
>
>
A
R
6
.
>
!
K
;
!
=
d
1
.
>
,
.
I
1
)
!
!
0
.
@
>
!
)
.
0
K
!
.
1
!
"
!
.
)
!
l
!
0
.
.
)
!
)
=
d
1
.
;
R
m
K
I
1
!
1
0
)
)
!
K
I
1
>
)
I
)
I
!
I
0
K
!
@
$
"
!
)
)
.
0
K
.
!
=
1
!
>
K
K
I
1
!
>
0
@
$
'
=
I
'
1
.
.
I
R
T
.
1
.
!
"
.
o
.
q
.
r
"
0
0
K
I
1
>
!
K
=
)
!
.
=
!
@
)
$
.
1
K
K
@
0
@
=
0
K
!
)
K
I
1
!
1
.
"
!
)
>
K
'
@
0
)
)
K
A
0
A
.
;
@
)
!
0
.
.
)
=
0
!
=
d
1
1
K
1
0
K
=
.
A
R
]
!
$
)
;
.
.
u )
"
.
!
)
>
>
K
_
K
I
!
)
A
.
$
0
K
!
"
)
0
)
.
;
"
0
0
)
.
.
)
=
0
)
!
!
0
.
1
!
>
0
!
=
A
;
!
0
)
K
$
!
)
I
!
.
"
1
.
K
)
.
0
1
.
;
=
I
R
)
x
!
)
!
A
D
)
>
>
>
K
;
A
>
.
!
)
$
1
1
!
!
.
.
I
1
>
0
1
!
>
.
;
$
!
.
0
"
)
!
!
0
.
D
1
)
0
0
.
0
K
1
!
>
=
!
!
)
K
D
K
!
.
0
!
)
.
I
!
0
'
'
@
!
)
!
0
1
.
)
@
!
K
!
@
@
0
@
d
R
.
@
1
!
"
1
=
K
@
1
!
1
0
)
)
D
1
0
!
R
@
{
.
>
K
.
.
l
0
K
)
@
=
I
'
1
.
.
I
!
A
)
>
=
1
!
>
.
A
K
I
1
!
1
0
)
)
0
)
$
'
@
D
1
0
!
;
I
.
0
1
1
!
1
0
)
)
1
I
!
.
!
K
$
I
.
>
K
I
@
>
0
K
K
!
0
1
!
>
.
)
!
@
.
.
=
K
R
m
!
"
>
>
!
!
A
)
;
=
I
!
"
!
)
>
K
q
!
!
"
0
1
1
)
@
.
1
K
1
!
)
=
0
!
.
!
"
@
1
!
!
A
)
>
>
A
>
!
K
;
.
@
!
"
!
)
)
>
.
1
K
0
!
1
!
0
1
!
"
)
!
A
)
>
.
R
@
u _
.
>
!
!
A
)
)
.
.
.
)
@
>
K
.
0
>
=
K
!
=
K
>
.
=
K
!
A
.
"
0
'
@
A
=
K
!
1
,
.
$
)
A
1
!
)
)
1
.
)
=
0
)
!
A
)
>
.
R
6
1
!
.
'
@
u
0
.
.
A
1
.
"
!
)
$
)
;
@
A
)
K
q
A
.
!
>
!
"
)
1
l
0
.
;
)
!
K
)
K
I
)
!
"
"
!
)
>
K
q
A
@
=
.
.
)
!
!
@
0
A
.
!
K
"
!
0
.
.
!
"
)
;
1
!
>
A
0
$
@
$
1
'
@
!
"
!
)
"
0
)
)
.
0
I
R
_
1
l
0
.
@
.
0
)
K
.
!
)
I
)
@
1
1
K
!
K
R
@
>
=
)
A
;
0
1
'
)
'
K
K
%
.
"
.
1
3
"
1
3
6
$
%
%
'
(
*
*
*
8
+
'
6
3
6
.
$
'
1
>
3
K
1
$
K
'
1
>
8
8
8
8
(
*
8
+
3
*
1
J
U
%
R
6
'
'
T
6
X
W
Z
[
"
5
"
"
"
0
'
@
:
0
'
0
:
@
-
0
B
/
0
?
@
#
B
"
"
J
*
"
)
-
0
'
@
0
"
*
"
"
"
@
0
M
P
-
)
/
0
0
)
/
0
)
/
)
R
"
"
5
*
"
"
U
'
"
*
"
*
"
X
0
0
0
*
P
?
M
0
"
*
"
*
"
0
0
@
?
M
0
'
'
*
)
"
"
#
/
@
"
*
M
[
0
0
:
0
0
'
B
'
0
:
-
-
M
B
J
5
> )
)
a
"
`
/
#
*
0
5
*
>
:
0
-
/
0
?
@
#
B
5
& %
'
(
!
"
'
*
!
/
(
2
2
3
!
*
'
6
(
!
!
*
!
"
!
2
9
:
(
(
'
<
!
*
!
"
%
*
'
6
*
6
*
6
!
!
%
A
B
D
/
*
D
'
!
!
*
B
D
J
"
M
!
O
(
'
Q
(
*
%
R
O
(
B
,
B
9
$
)
C
h !
g
)
M
E
!
[
$
#
!
$
#
#
$
#
>
K
,
$
5
N
$
d
R
>
i
d
@
>
@
>
2
6
6
2
>
L
6
$
,
,
,
,
2
2
@
2
>
6
2
,
)
,
@
,
6
,
>
6
$
,
2
K
K 6
2
R
,
,
>
@
2
7
)
i
d
@
'
2
2
2
@
C
>
s
R
,
,
$
6
>
6
,
N
,
@
,
,
)
t
,
,
L
$
6
N
>
,
2
,
,
6
@
,
N
,
@
,
!
#
[
)
>
W
6
,
2
f
R
f
R
>
U
)
)
$
2
,
$
w
,
$
6
2
2
>
a
$
R
@
,
C
$
>
N
$
]
$
)
Y
)
>
,
6
N
,
N
2
2
N
,
R
2
>
$
a
2
,
N
L
,
$
6
>
,
)
5
,
L
!
#
$
!
!
$
>
6
,
6
w
6
,
>
>
!
'
$
>
6
6
,
L
>
R
>
>
6
>
C
)
$
#
(
*
#
+
#
+
1
-
+
(
-
.
/
1
9
+
#
+
(
1
-
+
+
+
+
+
(
-
=
+
(
-
A
#
F
+
-
-
=
+
(
-
.
C
.
E
F
+
+
#
-
-
+
1
-
F
I
@
2
2
C
2
H
K
@
2
2
8
4
8
K
C
#
,
8
P
Q
>
4
.
#
,
K
>
2
H
H
2
K
H
2
,
8
8
W
K
>
2
2
4
2
[
,
@
^
P
K
K
H
K
4
,
@
W
K
P
0
2
4
2
K
K
>
2
2
K
2
8
8
C
>
,
2
8
8
H
K
b
K
2
2
4
H
,
P
@
2
,
2
8
K
4
8
@
2
H
P
f
4
>
8
@
>
4
2
2
2
K
K
i 8
K
K
2
2
8
8
P
8
Q
H
k >
8
8
K
,
W
K
q
K
m
K
n
>
o
2
4
H
,
K
@
4
2
>
K
K
8
2
H
8
H
2
,
4
2
K
8
8
H
P
f
2
H
>
t
4
H
,
K
2
K
8
8
H
P
t
@
2
2
K
[
P
P
>
0
2
K
m
>
m
n
>
2
K
n
>
m
o
^
H
#
8
2
4
8
8
#
K
2
"
y
#
%
'
8
8
z
@
4
2
P
2
2
@
2
8
2
2
4
8
,
.
2
8
4
H
P
)
)
+
'
2
K
2
{
4
,
@
>
"
$
$
&
"
8
H
P
i
+
4
,
8
8
,
@
W
P
y
2
K
2
>
8
8
P
2
H
,
4
8
4
>
8
K
8
2
,
@
8
>
K
,
W
4
P
0
2
K
4
K
2
K
2
!
#
#
%
%
%
)
!
#
#
%
%
#
#
%
:
%
4
8
%
4
>
%
#
8
4
*
:
+
1
%
%
%
4
4
%
#
:
1
P
#
4
8
K
L
1
4
N
#
8
!
N
4
4
P
#
%
4
8
4
8
:
*
*
:
8
4
>
*
U
K
%
1
!
#
#
8
K
%
8
%
4
#
%
%
L
1
4
#
#
%
%
:
8
#
%
%
#
L
!
1
%
%
#
%
8
%
4
%
4
#
4
4
8
)
+
%
#
L
%
%
4
#
L
1
%
4
%
#
1
#
%
1
%
%
8
4
%
*
%
b
*
*
b
8
4
%
%
1
c
%
%
#
%
N
L
d
#
4
L
1
4
#
#
%
h
%
:
%
#
N
#
4
U
%
!
K
%
!
%
e
U
g
*
%
d
%
%
d
%
>
4
%
1
4
#
%
k
%
#
#
*
+
%
%
:
N
%
%
4
%
4
%
#
!
%
1
L
L
P
!
N
4
%
%
%
%
#
%
4
%
#
%
)
4
N
L
%
#
N
:
1
N
%
4
4
%
n
N
N
#
N
8
4
N
*
>
%
%
4
:
1
8
%
"
$
#
%
:
L
1
N
L
!
!
*
#
%
L
1
N
L
%
)
K
%
4
%
*
%
%
%
%
N
N
4
c
%
4
4
4
%
p
4
L
1
4
4
#
N
e
g
*
q
4
%
#
>
N
%
4
1
N
:
%
#
N
#
*
+
%
4
%
:
e
4
g
N
8
%
:
%
%
K
%
4
,
$
0
0
"
>
>
M
"
H
.
H
0
'
Q
+
M
$
"
>
>
>
H
M
.
X
X
+
X
M
"
>
>
H
X
"
V
N
"
.
,
H
H
M
"
>
M
>
X
M
,
"
"
'
!
N
"
+
M
H
"
+
+
0
>
0
`
0
.
.
'
$
,
H
"
>
>
.
"
$
H
V
=
'
>
.
+
=
$
b
M
$
0
>
>
>
V
"
"
"
,
$
>
+
M
+
'
b
$
H
>
"
,
H
"
>
.
'
d
.
"
$
+
,
V
+
>
H
=
>
X
$
k
"
'
3
X
>
=
$
>
H
"
>
"
$
,
"
>
'
.
X
0
"
M
"
"
N
.
,
$
H
"
>
>
"
.
M
>
=
>
$
"
"
J
>
>
0
>
>
X
$
"
H
"
.
>
o
'
,
$
0
k
"
p
'
b
$
+
"
"
+
>
0
'
b
.
H
V
M
>
"
0
q
M
'
Q
+
"
>
>
X
H
+
>
>
.
.
"
>
"
H
`
$
$
$
M
M
+
#
%
'
)
-
'
$
3
N
"
"
)
H
)
%
"
'
0
)
-
,
V
"
0
)
M
)
X
H
4
)
+
0
)
X
0
M
=
.
"
X
"
>
M
Q
+
"
X
'
9
X
,
H
V
0
$
X
0
N
H
>
6
"
'
,
>
.
M
,
$
'
$
$
$
$
+
$
Q
M
>
>
+
V
"
+
4
0
0
"
+
"
>
=
0
H
'
u
0
,
$
X
k
"
>
0
)
#
0
)
X
+
$
.
M
>
"
"
'
3
X
M
N
$
H
%
'
)
-
`
+
>
$
0
.
"
'
$
>
X
$
-
"
=
"
o
+
M
$
.
'
3
$
q
+
M
N
$
+
,
$
>
N
"
"
"
>
.
X
H
H
"
$
"
>
'
>
M
X
H
X
"
V
0
'
>
M
0
0
N
M
>
6
'
M
0
X
'
H
X
"
"
>
+
.
w
9
.
0
.
,
!
#
#
!
!
#
#
!
#
(
*
*
&
#
&
#
#
2
#
4
6
7
&
#
(
*
#
,
&
#
#
#
&
C 4
=
#
!
@
!
#
!
#
*
F
(
#
#
,
&
(
!
S
=
!
#
#
*
6
J
T
V
#
#
=
W
#
4
#
M
X
V
!
6
J
W
P
#
,
#
!
!
#
,
&
F
(
W
#
\
#
(
(
(
*
4
#
&
M
2
#
4
W
#
\
#
#
&
*
J
F
(
F
!
#
#
c
(
(
#
(
F
(
#
4
F
!
=
!
(
e
W
!
W
6
J
#
#
=
#
6
*
*
#
&
&
(
&
F
*
6
#
&
#
P
!
&
#
*
#
!
(
W
#
#
&
=
!
#
(
(
F
4
#
!
&
*
!
*
(
#
6
*
=
#
&
2
#
4
!
#
!
&
W
#
4
!
,
&
#
p
&
=
#
*
!
*
q
q
T
q
=
#
#
!
&
(
2
#
4
=
!
#
*
6
7
#
4
#
W
#
#
#
&
F
W
(
2
#
4
W
#
\
#
!
#
#
!
W
(
&
6
&
!
=
#
!
r
(
F
=
s
F
*
#
t
(
F
!
#
(
&
(
2
#
4
(
6
