Index A E Abstract data model 29 Events 29 15 client 15 34 7 server 32 27 30 34 33 27 timer client C 34 34 Examples 8 35 43 35 Client 29 32 F 30 33 30 8 34 39 30 29 30 G 34 30 Witness 5 29 32 30 I 33 30 29 39 34 38 30 38 30 6 34 Initialization 30 30 29 30 9 17 10 17 Interfaces client D 29 server 15 Data model - abstract Interfaces - client 29 29 29 Interfaces - server 15 15 15 5 Data types 11 9 10 9 10 10 L
Index A Abstract data model 29 29 15 15 7 32 30 33 C 8 43 Client 29 32 30 33 30 34 30 29 30 34 30 Witness 29 32 30 33 30 29 34 30 30 34 30 29 9 10 D Data model - abstract 29 29 15 15 Data types 9 9 10 10 E Events client 34 server 27 34 27 timer client 34 34 Examples 35 35 F 8 39 G 5 I 39 38 38 6 Initialization 30 30 17 17 Interfaces client 29 server 15 Interfaces - client 29 Interfaces - server 15 5 11 10 L
%5BMS-SWN%5D-150630.docx