BS ISO 8807:1989
Withdrawn
Date published:
Information processing systems. Open systems interconnection. LOTOS. A formal description technique based on the temporal ordering of observational behaviour
Technique that is in general use for the formal description of distributed concurrent information processing systems. In particular the service definitions and protocol specifications described in BS 6568 can be described formally in LOTOS.
Related Information
35.100.01 Open systems interconnection in general
Similar Standards
-
BS 7453-1:1991
Procedures for UK registration for Open Systems standards., Procedures for the UK Name Registration Authority
-
BS EN 13757-8:2023
Communication systems for meters, Adaptation layer
-
BS EN 60317-43:1997+A1:2010
Specifications for particular types of winding wires, Aromatic polyimide tape wrapped round copperwire, class 240
-
BS EN 60747-16-3:2002+A2:2017
Semiconductor devices, Microwave integrated circuits. Frequency converters