DISSERTATION VON DAVID N. JANSEN

Die Dissertation kann auf Papier beim Verlag bezogen werden: Inmarks AG, Könizstrasse 47, CH-3008 Bern, Schweiz, Telefon +41/31 333 42 44, Telefax +41/31 333 42 45. Für eine komplette Literaturreferenz, siehe die Publikationsliste: [14].

Eine vorläufige Version ist hier online verfügbar: Titelei und Binnenwerk. 10 (niederländische) Thesen begleiten die Dissertation.

Hier folgt eine unvollständige Liste der gefundenen Druckfehler. Wenn Sie weitere finden, teilen Sie es mir bitte mit.

• Seite 12, figure 1.1 ; Seite 25, figure 2.1 ] Die Spitze des Pfeils vom Knoten Assessing zum Knoten Repairing zeigt auf die falsche Seite.
• Seite 93, Zeile 7, Harel [43] already mentions, a possible probabilistic variant ] lies: Harel [43] already mentions a possible probabilistic variant
• Seite 100, Zeile 11, the probabilistic output transition relation ] lies: the probabilistic output transition relation.
• Seite 102, letzte Zeile, D(x₁,...,x_n)(t_i) = x_i ] lies: D(x₁,...,x_|T|)(t_i) = x_i
• Seite 103, Formel auf Zeile 16 ] lies:
  µ⁺({(l',a',T')} × D([r,s))) = µ({a', T', l'}) µ_{F_T'),F'_T\T'}([r,s))
• Seite 105, Zeile 5sq., three bijections i_L : L_a L_b, i_T : T_a T_b, and i_A : A_a A_b ] lies: three bijections i_L : L_a L_b, i_T : T_a T_b, and i_A : A_a A_b
• Seite 125, Zeile 5sq., token announce message ] lies: Token announce message
• Seiten 127 und 128, figures 6.1 und 6.2, after(0...20 msec) ] lies: after(UNIF[0, 20 msec])
  und after(0...5 msec) ] lies: after(UNIF[0, 5 msec])
• Seite 136, Zeile 12, left-open intervals ] lies: right-open intervals [r,s)
• Seite 140, zweitletzter Abschnitt ] Der Abschnitt erläutert die Notation after(~ n min), während figure B.3 eine abweichende Notation enthält. Die korrekte Notation ist z. B. auf Seite 98, unmittelbar vor Sektion 5.2.1, erläutert.
• Seite 143, Zeile 3, een grafische tool ] lies: een grafische taal
• Seite 155, Literaturreferenz [81], page 15 p.. ] lies: 15 p.