AS/NZS 4164:1994
$37.70
Information technology – Telecommunications and information exchange between systems – Formal description of AS 2911 in LOTOS
Published By | Publication Date | Number of Pages |
AS | 1994-02-21 | 33 |
Describes the OSI transport service using the formal description technique LOTOS. This Standard is identical with, and has been reproduced from, ISO/IEC TR 10023:1992.
Scope
This Technical Report describes the OSI Transport service, defined in ISO 8072, using the formal description technique LOTOS, which is defined in ISO 8807.
Note – The formal definitions of data types and processes presented in this Technical Report are applicable for use in formal descriptions, using LOTOS, of the OSI Transport and Session protocols.