Entry VanRoy:1997:MOD from toplas.bib
Last update: Tue May 1 02:05:46 MDT 2012
Top |
Symbols |
Math |
A |
B |
C |
D |
E |
F |
G |
H |
I |
J |
K |
L |
M |
N |
O |
P |
Q |
R |
S |
T |
U |
V |
W |
X |
Y |
Z
BibTeX entry
@Article{VanRoy:1997:MOD,
author = "Peter {Van Roy} and Seif Haridi and Per Brand and Gert
Smolka and Michael Mehl and Ralf Scheidhauer",
title = "Mobile Objects in {Distributed Oz}",
journal = j-TOPLAS,
volume = "19",
number = "5",
pages = "804--851",
month = sep,
year = "1997",
CODEN = "ATPSDT",
ISSN = "0164-0925 (print), 1558-4593 (electronic)",
ISSN-L = "0164-0925",
bibdate = "Wed Dec 3 16:28:05 MST 1997",
bibsource = "http://www.acm.org/pubs/toc/;
http://www.math.utah.edu/pub/tex/bib/toplas.bib",
URL = "http://www.acm.org:80/pubs/citations/journals/toplas/1997-19-5/p804-van_roy/",
abstract = "Some of the most difficult questions to answer when
designing a distributed application are related to
mobility: what information to transfer between sites
and when and how to transfer it. Network-transparent
distribution, the property that a program's behavior is
independent of how it is partitioned among sites, does
not directly address these questions. Therefore we
propose to extend all language entities with a network
behavior that enables {\em efficient\/} distributed
programming by giving the programmer a simple and
predictable control over network communication
patterns. In particular, we show how to give object an
arbitrary mobility behavior that is independent of the
object definition. In this way, the syntax and
semantics of objects are the same regardless of whether
they are used as stationary servers, mobile agents, or
simply as caches. These ideas have been implemented in
Distributed Oz, a concurrent object-oriented language
that is state aware and has dataflow synchronization.
We prove that the implementation of objects in
Distributed Oz is network transparent. To satisfy the
predictability condition, the implementation avoids
forwarding chains through intermediate sites. The
implementation is an extension to the publicly
available DFKI Oz 2.0 system.",
acknowledgement = ack-nhfb,
fjournal = "ACM Transactions on Programming Languages and
Systems",
keywords = "algorithms; languages; theory",
subject = "{\bf D.1.3} Software, PROGRAMMING TECHNIQUES,
Concurrent Programming, Distributed programming. {\bf
D.3.2} Software, PROGRAMMING LANGUAGES, Language
Classifications, Concurrent, distributed, and parallel
languages. {\bf F.3.2} Theory of Computation, LOGICS
AND MEANINGS OF PROGRAMS, Semantics of Programming
Languages, Operational semantics.",
}
Related entries
- address,
8(4)419,
14(2)201,
15(4)575,
16(2)205,
16(3)456,
16(3)798,
16(3)986,
16(5)1431,
17(2)233,
17(2)394,
17(3)448,
17(4)561,
17(5)704,
18(1)30,
18(3)235,
18(3)254,
18(6)659,
19(3)492,
20(5)980,
22(4)673,
22(5)773,
28(5)848,
30(4)22,
31(3)11,
31(6)20,
32(2)5,
32(4)11,
32(4)12,
32(5)17,
33(5)15
- agent,
13(1)99,
16(1)151,
26(1)57,
28(2)290,
30(6)34,
32(4)12
- all,
4(1)44,
4(2)258,
6(2)281,
6(4)632,
8(4)547,
10(2)248,
13(1)1,
13(1)52,
13(2)181,
13(2)237,
13(2)269,
14(1)1,
14(1)28,
14(2)127,
14(3)299,
15(4)659,
15(5)771,
16(3)649,
16(3)798,
16(3)954,
16(3)1024,
16(3)1051,
16(4)1081,
16(4)1215,
16(5)1472,
16(5)1613,
16(6)1675,
16(6)1811,
17(1)47,
17(2)197,
17(2)264,
17(3)431,
18(1)16,
18(1)30,
18(6)752,
19(1)87,
19(3)525,
19(4)557,
19(5)726,
19(6)853,
19(6)916,
19(6)942,
19(6)1031,
20(3)546,
20(5)1067,
20(6)1131,
20(6)1171,
20(6)1265,
21(1)1,
21(1)138,
21(3)502,
21(3)677,
21(4)747,
21(6)1137,
22(2)265,
22(3)490,
22(4)638,
22(5)861,
27(6)1147,
28(1)1,
28(1)175,
28(2)331,
28(3)389,
28(4)696,
28(4)747,
28(5)848,
28(5)942,
29(2)13,
29(5)29,
30(2)8,
30(5)25,
30(6)30,
30(6)33,
31(1)1,
31(1)4,
31(3)10,
31(3)12,
31(6)20,
31(6)21,
32(1)1,
32(1)2,
32(3)9,
33(1)4,
34(1)1,
34(1)4
- answer,
4(4)711,
13(2)269,
16(6)1675,
16(6)1768,
17(1)47,
20(3)635,
22(1)162
- arbitrary,
14(2)201,
15(4)632,
16(4)1097,
17(1)47,
17(4)600,
19(1)1,
19(4)557,
20(5)980,
21(2)175,
21(6)1251,
22(2)187,
29(1)3,
32(2)6,
34(1)5
- available,
4(2)149,
9(2)125,
9(4)491,
14(2)265,
14(3)299,
15(4)632,
16(3)328,
16(3)524,
16(5)1648,
17(2)197,
17(2)394,
17(5)740,
18(3)235,
18(4)477,
18(5)528,
18(6)752,
19(1)1,
19(3)413,
19(6)853,
20(4)869,
21(2)286,
21(2)324,
22(2)378,
27(6)1270,
28(1)106,
28(3)517,
29(1)3,
31(2)7,
32(6)23,
32(6)24,
33(6)20
- avoid,
9(4)491,
14(2)173,
16(4)1117,
17(4)672,
20(1)51,
22(6)1037,
27(6)1344,
28(3)429,
29(2)13
- aware,
16(3)954,
27(3)441,
31(3)12
- behavior,
9(2)198,
13(2)269,
14(2)265,
15(4)632,
15(5)771,
15(5)876,
16(3)387,
16(4)1097,
16(6)1811,
17(1)63,
17(1)157,
17(2)197,
17(2)217,
17(2)264,
19(1)188,
19(3)525,
19(5)639,
20(1)208,
20(2)259,
20(2)436,
20(3)635,
20(5)917,
20(5)980,
21(2)370,
21(3)569,
21(4)703,
21(5)914,
21(5)977,
22(1)45,
22(1)87,
22(2)416,
26(2)263,
28(2)256,
28(3)476,
28(4)747,
29(6)33,
30(2)8,
30(5)25,
30(5)26,
31(1)1,
31(3)12,
31(5)19,
31(6)22,
32(1)2,
32(4)15,
32(5)17,
34(1)5
- Brand, Per,
21(3)569
- cache,
7(1)62,
13(2)269,
14(2)265,
15(1)182,
16(6)1768,
17(4)561,
18(4)424,
18(6)659,
20(3)546,
21(4)703,
21(5)977,
22(3)490,
26(2)263,
29(2)12,
31(6)20,
32(4)13
- chain,
6(4)632,
16(2)175,
17(1)85,
18(3)268,
30(6)32,
31(1)3
- communication,
3(3)224,
4(4)678,
5(1)1,
5(2)223,
6(2)159,
6(2)215,
7(1)80,
7(2)270,
7(4)622,
11(3)404,
12(1)102,
13(1)99,
13(4)558,
14(3)417,
16(3)577,
16(3)954,
17(1)1,
17(1)123,
17(5)704,
18(4)454,
20(2)436,
20(3)635,
20(6)1195,
21(1)1,
21(6)1077,
21(6)1251,
22(4)673,
22(5)816,
28(4)715,
30(5)27,
31(6)22,
32(3)9,
32(4)12,
32(5)16,
34(1)5
- condition,
4(2)179,
4(2)226,
4(4)711,
8(4)547,
9(4)491,
11(4)633,
12(3)463,
12(4)643,
13(1)150,
15(1)182,
16(2)259,
16(3)687,
16(6)1875,
17(1)63,
18(2)175,
18(3)325,
19(3)427,
19(6)1053,
20(3)635,
21(6)1137,
22(1)162,
22(2)296,
27(6)1216,
27(6)1270,
28(2)207,
28(2)256,
28(5)942,
31(1)1,
31(2)7,
31(4)14,
31(5)18,
33(1)4,
33(4)14,
34(1)2
- d.1.3,
7(1)80,
7(2)244,
7(2)270,
7(2)311,
7(3)380,
7(3)404,
7(4)501,
7(4)622,
8(1)88,
8(1)109,
8(1)140,
8(1)142,
8(1)154,
8(3)326,
8(3)388,
9(1)25,
9(2)235,
9(3)350,
9(4)491,
10(1)51,
10(3)420,
10(4)513,
11(1)147,
12(3)396,
12(3)463,
12(4)643,
13(4)491,
14(1)54,
14(2)201,
14(3)396,
15(1)1,
15(1)73,
15(2)337,
15(3)563,
15(5)745,
15(5)771,
16(3)524,
16(3)577,
16(3)649,
16(3)798,
16(3)954,
16(6)1737,
17(2)233,
17(3)535,
17(5)704,
18(5)615,
19(2)292,
19(3)444,
19(5)685,
20(1)51,
20(3)483,
20(6)1131,
20(6)1171,
20(6)1195,
21(1)11,
21(1)46,
21(1)138,
21(2)189,
21(3)569,
22(2)265,
22(2)296,
22(2)416,
22(4)673
- dataflow,
15(1)133,
16(2)205,
17(2)331,
18(1)30,
18(3)354,
18(5)564,
18(6)659,
19(4)557,
19(4)568,
21(3)569,
21(5)948,
22(1)162,
22(4)638,
22(5)773,
23(6)776,
30(4)18,
30(4)21,
32(2)4,
32(2)5,
32(6)23,
33(1)3
- designing,
11(2)212,
16(4)1361,
25(5)641,
30(4)19,
31(3)12,
31(6)22,
33(4)14
- difficult,
7(1)62,
9(2)257,
11(4)598,
16(3)607,
16(3)649,
16(3)798,
17(4)561,
17(5)777,
18(4)424,
18(6)752,
20(1)208,
20(2)274,
20(4)869,
21(4)703,
27(6)1344,
28(2)331,
29(6)35,
30(2)8,
31(1)1,
32(3)9,
32(4)14,
32(4)15,
34(1)4
- directly,
4(2)125,
6(3)314,
16(1)151,
16(3)649,
16(3)775,
16(5)1411,
17(2)233,
18(2)109,
18(6)752,
19(3)492,
20(5)980,
21(2)189,
28(5)942,
30(4)18,
30(4)21,
31(1)3,
31(4)13,
32(1)2,
32(4)14,
34(1)3
- distribution,
8(3)273,
9(2)277,
10(4)627,
10(4)633,
11(3)345,
14(2)201,
15(2)357,
16(3)727,
16(3)775,
16(6)1875,
18(4)424,
19(5)751,
20(5)980,
21(3)569,
21(6)1251,
22(3)540,
31(1)4
- do,
9(2)164,
9(4)491,
14(2)201,
15(1)73,
16(3)687,
16(3)939,
16(4)1248,
16(5)1431,
17(1)28,
17(1)157,
17(3)461,
17(4)635,
18(1)30,
18(2)175,
18(4)401,
18(6)659,
18(6)683,
18(6)730,
19(1)188,
20(3)635,
20(4)768,
20(6)1297,
21(1)11,
22(3)490,
22(3)506,
28(1)1,
28(3)389,
28(4)715,
29(2)13,
29(6)35,
30(2)8,
31(1)1,
31(4)13,
32(3)8,
32(3)9,
32(5)18,
33(6)20
- enable,
5(2)236,
8(4)524,
14(1)54,
14(4)471,
16(3)387,
16(3)954,
16(5)1449,
18(1)73,
18(5)519,
18(6)730,
19(3)492,
19(6)1053,
20(4)845,
20(6)1297,
21(2)324,
21(6)1137,
22(1)45,
27(6)1097,
28(5)848,
29(1)3,
29(6)33,
30(4)23,
30(6)32,
31(1)1,
31(1)4,
31(3)11,
31(5)17,
31(6)20,
32(2)4,
34(1)3,
34(1)4,
34(1)5
- entities,
5(2)127,
8(4)524,
10(2)189,
14(2)201
- extend,
10(2)204,
14(4)589,
15(4)681,
16(2)175,
16(3)305,
16(3)428,
16(5)1411,
16(6)1875,
17(1)123,
17(3)448,
18(1)1,
18(4)477,
18(6)730,
19(4)568,
20(4)845,
20(5)980,
20(6)1223,
21(4)703,
22(2)296,
22(5)773,
22(6)1002,
28(3)476,
28(3)517,
28(4)577,
28(4)696,
28(5)795,
29(1)2,
30(6)32,
31(5)19,
32(1)2,
33(4)12
- extension,
4(4)552,
6(2)159,
10(2)204,
12(1)135,
13(1)52,
14(3)396,
14(4)589,
15(1)182,
15(5)771,
16(3)607,
16(3)954,
16(5)1411,
16(5)1572,
16(6)1875,
17(1)1,
17(2)366,
17(5)740,
18(1)73,
18(4)454,
18(5)564,
18(6)730,
19(1)153,
19(4)557,
19(6)916,
20(3)483,
20(3)586,
21(2)175,
22(3)506,
25(5)641,
27(6)1216,
28(1)106,
28(2)207,
28(2)256,
28(3)517,
28(4)577,
30(2)11,
30(4)19,
30(4)22,
30(5)26,
30(6)31,
31(2)7,
31(5)18,
31(6)23,
32(1)2,
32(6)21,
33(4)12,
34(1)4,
34(1)6
- f.3.2,
7(2)270,
7(2)299,
7(2)311,
7(3)359,
7(3)426,
7(4)637,
7(4)656,
8(1)109,
8(1)140,
8(2)185,
8(4)547,
9(1)54,
9(3)408,
9(3)441,
10(1)118,
10(3)470,
10(4)602,
11(4)517,
11(4)650,
12(1)123,
12(1)139,
12(3)429,
13(2)237,
13(2)269,
13(3)315,
13(4)577,
14(1)107,
14(2)147,
14(4)589,
15(1)133,
15(1)206,
15(2)211,
15(4)575,
15(4)681,
16(3)328,
16(3)456,
16(3)605,
16(3)607,
16(3)649,
16(3)1024,
16(4)1081,
16(4)1215,
16(4)1361,
16(5)1411,
16(6)1875,
17(1)47,
17(2)366,
17(5)777,
18(6)711,
18(6)730,
19(1)48,
19(2)334,
19(3)427,
19(5)639,
19(5)685,
19(5)751,
19(6)916,
20(1)1,
20(5)1014,
20(5)1067,
21(1)90,
21(3)527,
22(2)340,
22(3)540,
22(4)701,
22(6)1037,
23(2)105
- give,
4(3)382,
6(2)159,
9(3)297,
9(3)367,
9(4)491,
13(2)211,
13(2)237,
14(2)201,
14(3)339,
14(4)521,
15(5)771,
16(3)456,
16(3)843,
16(4)1114,
16(4)1117,
16(4)1248,
16(5)1411,
17(5)777,
18(2)139,
18(5)519,
18(6)711,
19(1)153,
19(3)427,
19(4)557,
19(6)1085,
20(1)1,
20(4)724,
20(6)1223,
21(1)90,
21(4)703,
28(2)256,
28(2)290,
29(1)2,
30(1)4,
30(3)12,
31(3)9,
31(3)11,
32(1)3
- giving,
4(2)179,
13(1)150,
17(1)63,
21(2)240,
31(3)12
- Haridi, Seif,
21(3)569
- idea,
4(3)362,
9(4)473,
11(4)633,
14(1)1,
14(4)471,
15(1)133,
16(3)605,
16(3)798,
16(3)843,
17(2)181,
17(4)600,
18(4)401,
19(1)188,
19(5)726,
20(2)436,
20(3)483,
21(2)175,
21(2)240,
21(3)677,
21(5)948,
22(2)378,
22(3)431,
22(5)773,
27(6)1097,
28(3)517,
30(6)34,
31(3)9,
31(5)19,
32(1)2,
32(1)3,
32(2)5,
32(2)6,
32(3)9,
32(4)11,
32(6)23
- implemented,
4(2)149,
4(2)295,
7(1)137,
7(3)404,
7(4)501,
8(3)344,
9(2)235,
13(1)1,
14(2)147,
14(4)471,
15(1)182,
16(2)175,
16(3)577,
16(3)843,
16(3)986,
16(4)1248,
16(4)1319,
16(5)1431,
16(5)1512,
16(6)1699,
17(1)85,
17(2)197,
17(2)233,
17(4)635,
18(3)268,
18(4)424,
18(5)528,
18(5)564,
18(5)615,
18(6)752,
19(1)153,
19(5)726,
19(6)942,
20(3)483,
20(4)869,
20(5)1014,
20(6)1195,
20(6)1265,
21(1)138,
21(4)703,
22(2)378,
22(5)816,
27(6)1049,
27(6)1097,
28(1)1,
28(1)70,
28(1)106,
28(1)134,
28(2)207,
28(4)696,
29(1)3,
29(5)29,
30(3)17,
30(4)22,
30(4)23,
31(1)1,
31(2)6,
31(2)8,
31(6)22,
32(2)4,
32(5)16,
32(5)18,
32(6)21,
34(1)2
- independent,
9(2)164,
9(3)367,
13(1)1,
15(4)632,
15(4)659,
16(5)1613,
17(1)28,
17(3)431,
17(4)635,
19(4)557,
19(6)853,
22(2)296,
22(5)773,
23(2)105,
31(5)19,
32(4)15
- intermediate,
4(1)21,
5(3)499,
7(4)560,
9(2)257,
9(3)297,
9(3)319,
9(4)473,
14(2)173,
14(3)299,
16(3)775,
16(5)1431,
17(2)181,
18(6)711,
19(5)639,
20(3)546,
21(1)90,
21(3)527,
22(4)701,
28(4)696,
30(6)32,
31(5)18,
32(6)23
- it,
7(2)183,
15(5)876,
16(3)775,
19(4)557,
20(4)724,
21(2)189,
28(3)389,
32(4)14
- Mehl, Michael,
21(3)569
- mobile,
21(1)90,
25(1)1,
26(1)57,
28(2)290,
31(5)18,
32(3)8,
32(4)12,
32(5)16,
33(4)13
- mobility,
18(5)615,
32(4)12
- most,
4(1)21,
4(2)179,
4(4)650,
7(2)183,
7(4)560,
9(2)125,
9(2)164,
9(2)257,
13(1)1,
13(1)21,
13(1)52,
13(2)181,
14(2)127,
14(2)265,
15(5)771,
16(1)35,
16(3)524,
16(3)687,
16(4)1156,
16(4)1319,
16(5)1411,
16(5)1467,
17(4)561,
17(4)600,
17(5)777,
18(2)139,
18(4)477,
18(6)659,
18(6)683,
18(6)752,
19(1)7,
19(3)427,
19(4)557,
20(1)1,
20(2)259,
20(4)869,
21(1)138,
21(2)286,
21(2)324,
21(3)502,
22(1)129,
22(3)431,
22(3)506,
22(4)638,
22(5)816,
22(6)1002,
27(6)1147,
27(6)1344,
28(1)106,
28(4)715,
28(4)747,
29(2)13,
31(1)4,
31(5)17,
32(1)1,
32(3)9,
32(5)18,
33(1)3,
34(1)2
- network,
4(1)37,
4(3)382,
4(4)527,
4(4)678,
6(2)159,
6(3)380,
7(1)80,
7(2)270,
7(4)656,
8(1)154,
9(2)235,
9(4)618,
10(1)51,
11(1)90,
11(2)284,
11(2)330,
11(3)404,
11(4)562,
12(1)84,
12(1)102,
12(2)303,
12(4)537,
13(2)211,
14(2)201,
14(3)396,
14(3)417,
15(1)1,
15(1)36,
15(1)208,
16(1)151,
16(2)259,
17(3)535,
18(5)615,
19(1)188,
19(5)726,
19(6)1031,
20(1)1,
20(2)388,
20(3)483,
20(6)1265,
21(2)175,
21(6)1196,
27(6)1344,
31(6)20,
31(6)22,
32(3)9,
32(4)12
- network-transparent,
21(3)569
- object-oriented,
15(3)494,
16(4)1279,
16(6)1811,
17(2)264,
17(3)431,
17(6)805,
18(1)1,
18(4)355,
18(4)401,
18(5)519,
18(6)711,
19(1)153,
20(1)116,
21(2)370,
21(3)569,
22(3)506,
25(2)225,
28(2)331,
28(3)476,
28(3)517,
28(5)795,
29(2)13,
30(6)33,
31(1)1,
31(2)7,
31(3)9,
34(1)4
- operational,
4(2)283,
4(2)295,
4(4)668,
9(4)473,
10(1)118,
11(4)598,
13(1)99,
13(2)237,
13(2)269,
14(4)589,
15(2)211,
15(4)681,
16(3)649,
16(4)1081,
16(4)1215,
16(4)1279,
17(1)47,
18(6)711,
18(6)730,
19(1)48,
19(2)334,
20(4)768,
20(5)1014,
21(1)90,
21(3)527,
22(2)340,
22(4)701,
22(6)1037,
27(6)1147,
28(2)256,
28(2)290,
28(4)619,
30(5)26,
31(2)6,
31(2)8,
31(3)12,
32(5)19
- oriented, object-,
16(4)1279,
16(6)1811,
17(2)264,
17(3)431,
18(1)1,
18(4)355,
18(5)519,
20(1)116,
21(2)370,
21(3)569,
22(3)506,
25(2)225,
28(2)331,
28(3)476,
28(3)517,
28(5)795,
29(2)13,
30(6)33,
31(1)1,
31(2)7,
31(3)9,
34(1)4
- Oz,
21(3)569
- particular,
4(1)1,
4(2)239,
4(4)615,
4(4)733,
9(2)125,
9(2)164,
9(2)257,
9(3)297,
10(2)189,
10(2)248,
13(1)52,
13(1)124,
13(2)269,
14(2)173,
14(2)265,
14(3)339,
16(3)387,
16(3)607,
16(3)843,
16(3)1010,
16(4)1117,
16(4)1215,
16(4)1361,
16(5)1472,
16(6)1768,
17(1)63,
17(2)197,
17(3)431,
18(4)355,
19(4)557,
19(4)568,
20(2)344,
20(6)1251,
21(2)240,
21(3)677,
21(4)813,
21(5)914,
21(5)977,
22(2)224,
22(2)296,
22(2)340,
22(3)490,
22(6)1002,
22(6)1037,
27(6)1344,
28(4)619,
28(4)747,
30(4)19,
30(6)32,
31(4)15,
31(4)16,
32(1)2,
32(2)5,
32(5)17,
33(3)11,
33(4)13,
34(1)3
- partitioned,
20(6)1131,
28(1)134
- pattern,
2(2)153,
11(4)491,
14(4)490,
17(2)264,
18(4)454,
18(5)528,
18(5)615,
19(3)492,
20(2)259,
20(3)483,
21(4)703,
21(6)1251,
22(6)973,
26(6)911,
28(2)207,
28(3)389,
28(4)696,
30(4)18,
30(4)23,
31(2)7,
31(3)9,
31(6)20,
32(4)13,
33(4)12
- predictability,
18(1)30,
21(5)1028,
32(4)13
- predictable,
18(4)454,
29(4)22,
29(6)33,
30(4)22
- programmer,
4(1)44,
4(2)295,
5(2)236,
6(2)159,
8(4)419,
9(2)235,
9(4)491,
10(2)189,
13(1)52,
13(1)99,
13(2)211,
14(1)28,
14(1)54,
15(1)36,
16(1)102,
16(1)151,
16(3)524,
16(3)727,
16(4)1248,
16(4)1319,
16(6)1768,
16(6)1811,
19(3)492,
20(3)483,
20(3)635,
20(6)1131,
21(2)324,
21(3)569,
21(3)677,
21(4)790,
22(3)490,
27(6)1049,
28(3)476,
28(5)795,
31(1)4,
32(1)2,
32(3)9,
32(4)14,
34(1)4,
34(1)6
- propose,
13(2)237,
14(2)201,
15(5)745,
16(3)305,
16(3)456,
16(3)687,
16(3)986,
16(4)1248,
16(6)1737,
17(4)600,
17(4)635,
18(5)564,
18(5)615,
19(3)413,
19(3)444,
20(1)116,
20(2)436,
20(6)1111,
20(6)1195,
21(1)90,
21(2)189,
21(3)677,
22(6)973,
27(6)1097,
28(1)70,
28(2)256,
28(2)331,
30(2)8,
30(4)22,
30(5)25,
30(6)30,
30(6)33,
31(1)1,
31(1)3,
31(4)13,
32(1)2,
32(3)7,
32(4)11,
32(4)13,
32(4)14,
32(4)15,
32(5)16,
33(4)14,
34(1)2
- prove,
14(2)147,
15(4)575,
15(4)632,
15(4)659,
15(5)771,
16(3)924,
16(3)1051,
16(4)1081,
16(4)1248,
16(5)1411,
16(5)1613,
17(1)47,
17(1)157,
17(2)264,
17(4)576,
18(3)235,
18(3)254,
18(5)519,
18(6)730,
19(3)413,
19(6)899,
20(4)707,
20(4)724,
20(5)1067,
20(6)1111,
20(6)1171,
21(1)90,
21(2)189,
21(2)240,
21(3)569,
21(3)677,
21(4)790,
21(5)914,
21(6)1196,
22(1)87,
22(2)296,
22(5)773,
22(6)1002,
27(6)1270,
28(2)290,
28(5)795,
28(5)942,
29(6)35,
30(4)24,
31(2)8,
31(3)12,
31(5)19,
32(3)7,
32(3)8,
33(4)12,
34(1)2
- publicly,
19(3)413
- question,
4(4)668,
4(4)711,
7(2)183,
13(2)269,
15(4)575,
16(6)1675,
16(6)1699,
16(6)1768,
17(1)47,
17(2)181,
20(3)635,
21(1)46,
22(1)162,
34(1)6
- regardless,
13(1)124,
19(6)942,
29(1)2,
32(5)19
- related,
6(4)546,
7(2)270,
7(2)299,
8(3)406,
9(3)319,
10(2)204,
10(2)248,
11(1)67,
11(4)633,
12(1)123,
14(2)147,
14(4)589,
15(2)211,
15(2)253,
15(4)575,
16(3)607,
16(3)1010,
16(4)1081,
16(6)1811,
17(3)535,
17(5)704,
17(6)844,
18(6)730,
19(4)586,
19(5)639,
19(6)899,
20(2)344,
21(3)677,
21(4)813,
30(2)8,
31(4)15,
31(4)16,
31(6)20,
33(6)21,
34(1)2,
34(1)3
- same,
4(2)149,
6(4)632,
7(3)404,
8(1)109,
9(2)277,
13(2)181,
14(2)201,
16(3)798,
16(3)872,
16(4)1114,
16(5)1467,
16(5)1472,
16(6)1737,
16(6)1842,
17(1)63,
17(1)123,
17(1)157,
17(3)487,
17(4)576,
17(5)691,
18(5)519,
18(6)659,
19(1)48,
19(3)462,
19(5)751,
19(6)942,
20(3)586,
20(6)1111,
20(6)1251,
21(3)569,
21(5)977,
22(1)45,
22(2)265,
22(3)490,
27(3)388,
28(2)290,
28(4)747,
29(1)2,
29(5)29,
30(6)32,
31(1)2,
31(4)16,
32(3)9,
32(4)11,
32(4)15,
32(6)24
- satisfy,
15(1)182,
15(5)876,
18(1)30,
19(6)1031,
20(1)116,
20(2)274,
20(6)1171,
21(6)1196,
33(4)13
- Scheidhauer, Ralf,
21(3)569
- server,
16(3)986,
27(6)1049,
27(6)1097,
28(1)1,
28(1)70,
28(5)908,
29(4)18,
30(4)22
- simple,
4(1)113,
4(2)149,
4(3)455,
4(4)601,
4(4)687,
5(2)127,
6(4)546,
6(4)632,
7(4)637,
10(2)313,
11(1)1,
13(1)124,
13(2)237,
13(2)269,
14(2)147,
15(5)771,
16(3)577,
16(3)607,
16(3)649,
16(3)798,
16(3)872,
16(4)1215,
16(4)1319,
16(4)1361,
16(5)1472,
16(5)1613,
16(6)1737,
17(1)16,
17(1)85,
17(2)233,
17(3)461,
17(4)635,
18(1)1,
18(2)175,
18(4)424,
18(4)454,
18(5)564,
18(6)649,
18(6)730,
19(5)685,
20(1)51,
20(1)116,
20(3)546,
20(3)679,
20(4)869,
20(5)980,
20(5)1067,
20(6)1297,
21(1)46,
21(2)240,
21(3)502,
21(3)677,
21(4)813,
21(5)895,
22(2)187,
22(2)265,
22(3)490,
22(4)701,
22(6)1002,
30(1)4,
30(4)23,
30(5)26,
30(6)31,
31(3)10,
31(3)12,
31(4)16,
31(5)18,
31(5)19,
32(1)2,
32(1)3,
32(2)4,
32(3)9,
32(4)11,
32(4)12,
33(1)3,
34(1)3
- simply,
15(4)575,
16(3)524,
18(2)139,
32(3)9,
33(4)14
- site,
16(2)175,
19(1)48,
21(6)1196,
29(1)2,
32(2)5
- Smolka, Gert,
21(3)569
- state,
4(2)179,
4(3)455,
7(1)159,
8(1)154,
8(4)577,
11(4)491,
13(1)150,
13(3)399,
13(4)633-1,
15(1)182,
15(4)659,
15(5)771,
16(4)1215,
16(5)1512,
16(6)1842,
17(3)461,
18(3)325,
19(4)617,
19(5)726,
20(1)51,
20(2)274,
20(2)302,
20(5)917,
21(4)747,
22(6)1037,
23(3)273,
27(4)786,
27(6)1147,
27(6)1344,
28(3)476,
28(5)942,
29(6)35,
30(4)24,
31(4)16,
31(6)22,
32(4)14,
32(6)22,
33(5)17,
34(1)2
- synchronization,
4(2)125,
4(3)455,
6(2)215,
7(3)404,
7(4)622,
9(1)25,
10(4)579,
11(1)90,
11(3)404,
11(4)585,
12(2)178,
13(1)99,
13(1)124,
13(4)558,
14(1)28,
14(2)201,
15(4)735,
15(5)745,
15(5)771,
16(3)577,
16(3)939,
16(3)954,
16(6)1719,
17(3)535,
17(4)600,
17(5)777,
18(3)268,
18(4)454,
20(1)51,
21(3)569,
22(2)416,
22(4)673,
25(3)316,
25(6)876,
27(6)1270,
28(1)1,
28(2)207,
28(4)715,
30(4)20,
31(1)1,
34(1)4
- syntax,
3(2)126,
4(1)113,
4(2)149,
4(4)615,
5(2)127,
7(1)159,
7(3)478,
8(2)264,
8(4)547,
9(4)543,
10(1)118,
10(2)338,
10(3)345,
13(2)237,
14(4)490,
14(4)589,
15(3)535,
16(3)727,
16(3)872,
16(4)1279,
16(5)1572,
16(5)1613,
17(4)672,
18(1)16,
19(1)153,
19(6)1053,
20(5)980,
21(3)527,
22(1)1,
22(4)701,
22(6)1037,
24(6)698,
25(5)631,
29(1)3,
30(5)26,
30(6)31,
31(5)19,
32(2)4,
32(5)19,
34(1)3
- therefore,
4(2)295,
4(4)650,
14(1)1,
14(2)127,
14(4)589,
15(4)681,
16(3)387,
16(3)456,
16(3)775,
17(3)431,
19(3)462,
20(5)917,
21(4)790,
22(4)701,
28(4)747,
28(5)942,
31(2)6,
31(4)15,
33(1)3
- through,
4(1)44,
4(3)496,
5(3)405,
5(4)641,
6(4)505,
6(4)527,
8(1)109,
9(2)164,
9(3)297,
11(4)598,
12(1)135,
13(1)99,
13(2)181,
14(2)173,
14(3)339,
15(4)735,
16(2)205,
16(2)259,
16(3)577,
16(3)954,
16(4)1248,
16(6)1842,
17(5)777,
18(1)16,
18(2)139,
18(5)528,
18(6)752,
20(1)208,
20(4)869,
20(6)1131,
21(2)189,
21(3)430,
21(5)1028,
21(6)1077,
21(6)1137,
22(2)265,
22(3)490,
22(5)861,
28(4)747,
28(5)848,
28(5)942,
29(2)9,
29(2)10,
30(4)18,
30(4)22,
30(6)32,
31(2)6,
31(4)14,
32(4)11,
32(4)13,
32(4)14,
32(5)17,
32(6)23,
33(3)11
- transfer,
14(3)417,
20(6)1131,
22(4)638,
31(3)11
- transparent,
9(2)235,
9(2)277,
16(2)205
- way,
4(2)226,
4(4)687,
7(2)183,
7(3)404,
8(4)419,
9(2)257,
9(4)491,
10(2)189,
10(2)248,
15(4)659,
15(5)876,
16(2)205,
16(2)259,
16(4)1114,
16(6)1675,
16(6)1768,
16(6)1811,
17(2)181,
17(2)264,
17(2)331,
17(2)366,
18(1)1,
18(1)73,
18(4)477,
19(1)7,
19(3)444,
19(3)492,
19(6)916,
20(1)208,
20(2)259,
20(2)344,
20(4)869,
20(6)1171,
21(1)46,
21(3)527,
21(3)569,
22(2)187,
22(3)506,
22(4)701,
22(6)1002,
22(6)1037,
28(3)389,
28(3)476,
28(3)517,
28(4)747,
30(4)19,
30(4)21,
30(4)23,
31(3)12,
31(4)16,
32(1)3,
32(2)5,
32(5)19,
32(6)24,
33(3)10
- what,
5(2)236,
5(3)405,
6(2)159,
13(2)269,
16(4)1319,
17(2)181,
19(3)444,
22(2)378,
22(4)638,
30(4)24,
32(5)19,
32(6)23,
32(6)24
- whether,
8(4)524,
15(4)575,
15(4)706,
16(4)1248,
16(6)1768,
17(5)691,
20(6)1111,
21(1)46,
29(6)33,
30(6)30,
31(3)10,
34(1)2