Formal description of the OSI session layer: session service
Marten J. Van Sinderen, P.H.J. van Eijk, Chris A. Vissers, Maylín Rodríguez Díaz · University of Twente Research Information · 1989
The LOTOS formal description of the OSI session service is presented on basis of specification samples from the full description, giving account of how specification styles and session service architectural elements are reflected in the description. Both information (data types) and process (behaviour) aspects are addressed. Where possible, commonalities with the LOTOS formal description of the OSI transport service are exploited in the formal description, i.e. sharing structure and definition parts.