PH. D. THESIS OF DAVID N. JANSEN

The thesis has been published and is available on paper from the publisher, Inmarks AG, Könizstrasse 47, CH-3008 Bern, Switzerland, phone +41/31 333 42 44, telefax +41/31 333 42 45. For full reference, see the list of publications: [14].

A preliminary online version is available here: title pages and main part. The thesis was accompanied by 10 (Dutch) propositions.

The following is an incomplete list of errors and typos found in my dissertation. If you find any, please leave me a message.

• Page 12, figure 1.1 ; Page 25, figure 2.1 ] The arrowhead on the arrow from node Assessing to node Repairing points in a funny direction.
• Page 93, line 7, Harel [43] already mentions, a possible probabilistic variant ] read: Harel [43] already mentions a possible probabilistic variant
• Page 100, line 11, the probabilistic output transition relation ] read: the probabilistic output transition relation.
• Page 102, last line, D(x₁,...,x_n)(t_i) = x_i ] read: D(x₁,...,x_|T|)(t_i) = x_i
• Page 103, formula on line 16 ] read:
  µ⁺({(l',a',T')} × D([r,s))) = µ({a', T', l'}) µ_{F_T'),F'_T\T'}([r,s))
• Page 105, line 5sq., three bijections i_L : L_a L_b, i_T : T_a T_b, and i_A : A_a A_b ] read: three bijections i_L : L_a L_b, i_T : T_a T_b, and i_A : A_a A_b
• Page 125, line 5sq., token announce message ] read: Token announce message
• Pages 127 and 128, figures 6.1 and 6.2, after(0...20 msec) ] read: after(UNIF[0, 20 msec])
  and after(0...5 msec) ] read: after(UNIF[0, 5 msec])
• Page 136, line 12, left-open intervals ] read: right-open intervals [r,s)
• Page 140, butlast paragraph ] The paragraph explains the notation after(~ n min) while figure B.3 contains a different notation. The correct notation is explained, for example, on page 98, just before section 5.2.1.
• Pagina 143, regel 3, een grafische tool ] lees: een grafische taal
• Page 155, reference [81], page 15 p.. ] read: 15 p.