70 72 S 12 26 54 24 Security 24 72 26 72 72 O 28 Sequencing rules Other local events 41 45 58 50 43 14 45 14 36 33 P 52 31 55 Packets Server 51 44 50 44 72 45 19 overview ( 29, 44) 19 45 19 44 19 56 19 20 19 Syntax 73 22 Protocol 21 30 21 30 21 32 31 T 31 32 30 Time events Protocol Details 44 29 44 Timer events Q 42 59 45 44 38 44 34 53 R 32 55 11 45 13 Timers 12 40 19 43 16 55 abstract data ( 29, 53) 57 55 43 54 44 54 38 56 38 55 36 53 33 receiving message #1 ( 55, 55) 50 55 30 56 54 55 44 54 89 18
70 72 12 26 24 24 26 O Other local events 45 50 14 14 P Packets 51 50 72 19 19 19 19 19 19 73 Protocol 30 30 32 31 31 32 30 Protocol Details 29 Q 44 44 R 11 13 12 19 16 abstract data ( 29, 53) 55 54 54 56 55 53 receiving message #1 ( 55, 55) 55 56 55 54 18 S 54 Security 72 72 72 28 Sequencing rules 41 58 43 45 36 33 52 31 55 Server 44 44 45 overview ( 29, 44) 45 44 56 20 Syntax 22 21 21 21 T Time events 44 44 Timer events 42 59 45 38 34 53 32 55 45 Timers 40 43 55 57 43 44 38 38 36 33 50 30 54 44 89