BS DD 124:1985

Open Systems Interconnection: LOTOS, a formal description technique based on the temporal ordering of observational behaviour (ISO/DP 8807)

BSI Group, 09/30/1985

Publisher: BS

File Format: PDF

$166.00$332.74

Description

Published:30/09/1985

Pages:50

File Size:1 file

Note:This product is unavailable in Ukraine, Russia, Belarus

LOTOS is a technique that is in general use for the formal description of distributed concurrent information processing systems. In particular the service definitions and protocol specifications of the layers of Open Systems Interconnection described in BS 6568 can be described formally in LOTOS.

All current amendments available at time of purchase are included with the purchase of this document.

More BS standard pdf

BS 09/30190323 DC

BS EN 14491. Dust explosion venting protective systems

$120.00 $240.07

BS 09/30180346 DC

BS ISO 12405-1. Electrically propelled road vehicles. Test specification for lithium-Ion traction battery Systems. Part 1. High power applications

$126.00 $253.90

BS 09/30211248 DC

BS EN 16029. Ride-on, motorized vehicles intended for the transportation of persons and not intended for use on public roads. Safety requirements. Single-track two-wheel motor vehicles

$132.00 $265.26

BS 09/30203818 DC

BS ISO 12624. Thermal insulation products. Determination of trace quantities of water soluble chloride, fluoride, silicate, sodium ions and pH

$114.00 $229.03