3.1.4 Message Processing Events and Sequencing Rules

Section 3.3.1 summarizes the client state machine for synchronization. Section 3.1.1 summarizes the corresponding server sequencing.