CAN/CSA-Z243.101-89 (R2018)
Current
Current
The latest, up-to-date edition.
Information Processing Systems - Open Systems Interconnection - LOTOS - A Formal Description Technique Based on the Temporal Ordering of Observational Behaviour (Adopted ISO 8807:1989)
Published date
01-01-1989
Publisher
Preface
0 Introduction
1 Scope and field of application
2 References
3 Conformance
4 Basic mathematical concepts and notation
5 Model
6 Formal syntax
7 Semantics
Annexes
A - Standard library of data types
B - Equivalence relations
C - A tutorial on LOTOS
D - Syntax diagrams
E - Informal basis for abstract data types
Sorry this product is not available in your region.
Access your standards online with a subscription
Features
-
Simple online access to standards, technical information and regulations.
-
Critical updates of standards and customisable alerts and notifications.
-
Multi-user online standards collection: secure, flexible and cost effective.