BS ISO/IEC TR 9572:1989

Foreword
Introduction
1 Scope
2 Normative references
3 Definitions
4 Symbols and abbreviations
5 Conventions
6 Introduction to the formal description
7 Overall constraints of the session protocol
8 Constraints for a single session protocol machine
9 Session protocol data types
9.1 Session protocol data unit
9.2 Session variables
9.3 Additional functions on session and transport
      service primitives
9.4 Auxiliary data types
9.5 Types for components of the internal event
      structure
10 Processes for the SPM session to transport service
      boundary relation
10.1 First decomposition of the session to transport
      boundary relation
10.2 Direct mapping between SSPs and TSPs
10.3 Relation between SSPs and SPDUs
10.4 Relation between SPDUs and TSPs
10.5 SPDU constraints

Formal description of the OSI Basic Connection Oriented Session Protocol defined in ISO 8327 and expressed in the description technique LOTOS