Index 19 A 14 15 16 Abstract data model 16 12 17 13 18 13 18 Algorithm 5 abstract data model 12 13 H 13 14 initialization 14 13 13 20 I 14 12 14 22 20 22 timers 7 13 Initialization 13 13 10 13 8 7 C 5 19 10 24 L D 20 Data model - abstract M 12 13 13 14 7 Messages 11 11 11 11 E N 11 21 6 F O 10 7 G P
Index A Abstract data model 12 13 13 Algorithm abstract data model 12 13 13 14 initialization 13 13 20 14 12 14 20 timers 13 13 10 C 10 24 D Data model - abstract 12 13 13 7 11 E 11 21 F 10 G 19 14 15 16 16 17 18 18 5 H 14 I 22 22 7 Initialization 13 13 8 7 5 19 L 20 M 14 Messages 11 11 11 N 6 O 7 P