AS/NZS 4164:1994
Withdrawn
Information technology - Telecommunications and information exchange between systems - Formal description of AS 2911 in LOTOS
Hardcopy , PDF 1 User , PDF 3 Users , PDF 5 Users , PDF 9 Users
English
02-21-1994
06-30-2017
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.
| Committee |
IT-001
|
| DocumentType |
Standard
|
| ISBN |
0 7262 8703 2
|
| Pages |
27
|
| PublisherName |
Standards Australia
|
| Status |
Withdrawn
|
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.
| Standards | Relationship |
| ISO/IEC TR 10023:1992 | Identical |
First published as Joint Standard AS/NZS 4164:1994.
| AS/NZS 4165:1994 | Information technology - Telecommunications and information exchange between systems - Formal description of AS/NZS 2912 (Classes 0, 1, 2, 3) in LOTOS |
| AS 3620-1989 | Information processing systems - Open Systems Interconnection - Service conventions |
| AS 2911-1986 | Information processing systems - Open Systems Interconnection - Transport service definition |
| AS 2777-1985 | Information processing systems - Open Systems Interconnection - Basic reference model |
| AS/NZS 4207:1994 | Information technology - Open Systems Interconnection - LOTOS description of the session service |
| AS/NZS 4165:1994 | Information technology - Telecommunications and information exchange between systems - Formal description of AS/NZS 2912 (Classes 0, 1, 2, 3) in LOTOS |
| AS/NZS 4206:1994 | Information technology - Open Systems Interconnection - LOTOS description of the session protocol |