Formal description of the OSI session layer: introduction

The LOTOS formal description of the OSI session layer is introduced with the purpose of familiarizing the reader with the design choices that influenced the development of the formal description. Such design choices concern the adoptation of specification styles and the reflection of elements of the session layer architecture in the formal description. A brief account is given of the correctness test that the description has passed.