3.3.5 Message Processing Events and Sequencing Rules

Section 3.2.5 lists all operations of the protocol.