5. DECLARATIVE SPECIFICATIONS

The following specifications may be referred to as Declarative Specifications. This simply means that they specify what the user and server processes shall do when they are in a given state and receive a command or reply.

Chapter Contents

• 5.1 Minimum Implementation
• 5.2 Connections
• 5.3 Commands
• 5.4 Sequencing of Commands and Replies

---