IEC - International Electrotechnical Commission - ISO 8807:1989
Information processing systems - Open Systems Interconnection - LOTOS - A formal description technique based on the temporal ordering of observational behaviour
published
Buy Now
| Organization: | IEC - International Electrotechnical Commission |
| Publication Date: | 9 February 1989 |
| Status: | published |
| Page Count: | 142 |
| ICS Code (Languages used in information technology): | 35.060 |
| ICS Code (Open systems interconnection in general): | 35.100.01 |
abstract:
Defines the syntax and semantics of the Formal Description Technique LOTOS used for the formal description of distributed, concurrent information processing systems. LOTOS can be used to describe... View More
Document History
ISO 8807:1989
February 9, 1989
Information processing systems - Open Systems Interconnection - LOTOS - A formal description technique based on the temporal ordering of observational behaviour
Defines the syntax and semantics of the Formal Description Technique LOTOS used for the formal description of distributed, concurrent information processing systems. LOTOS can be used to describe...