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 10/30231796 DC

BS EN 14654-2. Management and control of cleaning operations in drains and sewers . Part 2. Rehabilitation

$142.00 $284.80

BS 10/30236365 DC

BS EN 12428. Industrial, commercial and garage doors and gates. Thermal transmittance. Requirements for classification

$131.00 $263.22

BS 10/30236542 DC

BS EN 442-2. Radiators and convectors. Part 2. Test methods and rating

$132.00 $265.64

BS 10/30180621 DC

BS EN ISO 21572. Foodstuffs. Molecular biomarker analysis. Protein-based methods

$124.00 $249.47