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 QC 700000:1991

Harmonized system of quality assessment for electric components. Generic specification for discrete devices and integrated circuits

$86.00 $172.72

BS 3939-12:1991

Graphical symbols for electrical power, telecommunications and electronics diagrams-Guide for binary logic elements

$125.00 $251.46

BS DD ENV 41502:1991

Information systems interconnection. Character repertoires for information received from or transmitted to the Teletex service or private information processing systems using Teletex technology

$76.00 $152.40

BS 7470:1991

Specification for clear-view screens for use in ships

$76.00 $152.40