3 Background to Behavior Specifications

This topic contains a number of related sections. The list below provides links to each section.

• 3.1 Document Organization
• 3.2 Typographical Conventions
• 3.3 State Model
• 3.4 Pseudocode Language
• 3.5 Conventions for Protocol Examples
• 3.6 Server and Client Initialization