CSA - CAN/CSA-Z243.101-89
Information Processing Systems - Open Systems Interconnection - LOTOS - A Formal Description Technique Based on the Temporal Ordering of Observational Behaviour
inactive
| Organization: | CSA |
| Publication Date: | 1 August 1989 |
| Status: | inactive |
| Page Count: | 152 |
scope:
Scope and field of application
This International Standard defines the syntax and semantics of the Formal Description Technique LOTOS. LOTOS is in general used for the formal description of distributed, concurrent information processing systems, In particular LOTOS can be used to describe formally the service definitions and protocol specifications of the layers of Open Systems Interconnection (OSI) architecture described in IS0 7498, and related standards, and conformance tests for implementations of OS1 protocols and/or OS1 functions. It can also be applied for the formal description of other distributed systems, such as telephone switching networks.
Document History
August 1, 1989
Information Processing Systems - Open Systems Interconnection - LOTOS - A Formal Description Technique Based on the Temporal Ordering of Observational Behaviour
Scope and field of application
This International Standard defines the syntax and semantics of the Formal Description Technique LOTOS. LOTOS is in general used for the formal description of...
August 1, 1989
Information Processing Systems-Open Systems Interconnection-LOTOS-A Formal Description Technique Based on the Temporal Ordering of Observational Behaviour
This International Standard defines the syntax and semantics of the Formal Description Technique LOTOS. LOTOS is in general used for the formal description of distributed, concurrent information...
August 1, 1989
Information Processing Systems - Open Systems Interconnection - LOTOS - A Formal Description Technique Based on the Temporal Ordering of Observational Behaviour
Scope and field of application
This International Standard defines the syntax and semantics of the Formal Description Technique LOTOS. LOTOS is in general used for the formal description of...
August 1, 1989
Information Processing Systems-Open Systems Interconnection-LOTOS- A Formal Description Technique Based on the Temporal Ordering of Observational Behaviour
Scope and field of application
This International Standard defines the syntax and semantics of the Formal Description Technique LOTOS. LOTOS is in general used for the formal description of...
CAN/CSA-Z243.101-89
August 1, 1989
Information Processing Systems - Open Systems Interconnection - LOTOS - A Formal Description Technique Based on the Temporal Ordering of Observational Behaviour
Scope and field of application
This International Standard defines the syntax and semantics of the Formal Description Technique LOTOS. LOTOS is in general used for the formal description of...
January 1, 1989
Information Processing Systems-Open Systems Interconnection-LOTOS - A Formal Description Technique Based on the Temporal Ordering of Observational Behaviour
Scope and field of application
This International Standard defines the syntax and semantics of the Formal Description Technique LOTOS. LOTOS is in general used for the formal description of...