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...
Advertisement