🔥🔥 Don’t Miss Out on Our End of Autumn Sale. If you have any questions, feel free to click the bottom right corner to contact our customer service..

Concat us[email protected]
Shopping Cart

No products in the cart.

🔍
AS/NZS 4206:1994

AS/NZS 4206:1994

$57.20

Information technology – Open Systems Interconnection – LOTOS description of the session protocol

Published By Publication Date Number of Pages
AS 1994-07-11 92
PDF Format Searchable Printable Preview Now
Guaranteed Safe Checkout
Categories: ,

If you have any questions, feel free to reach out to our online customer service team by clicking on the bottom right corner. We’re here to assist you 24/7.
Email:[email protected]

Provides the formal definitions of the OSI basic connection oriented session protocol described by the formal description technique LOTOS. This Standard is identical with, and has been reproduced from, ISO/IEC TR 9572:1989.

Scope

This Technical Report contains a formal description of the OSI Basic Connection Oriented Session Protocol defined in ISO 8327. The formal definitions presented in this Technical Report are expressed in the formal description technique LOTOS, which is defined in ISO 8807.
These formal definitions are related to the formal descriptions in LOTOS of the OSI Connection Oriented Session Service, ISO 8326, and of the OSI Transport Service, ISO 8072. Moreover, formal definitions of these services, contained in ISO/IEC/TR 9571 and ISO/IEC/TR 10023, respectively, are used and referenced in this Technical Report.
The formal description is not limited to a single session protocol machine, but also describes multiple session protocol machines that result from support of multiple session connections either in parallel or in sequence. Therefore, it also formalizes aspects of multiplicity which are not presented in ISO 8327 directly, but by way of reference to the OSI Basic Reference Model, ISO 7498.

Related products

AS/NZS 4206:1994
$57.20