BSI BS ISO 8807:1989

Current Revision
Information processing systems. Open systems interconnection. LOTOS. A formal description technique based on the temporal ordering of observational behaviour

Best Price Guarantee Dec 31, 1990 English 1 Pages

Sub Total (1 Item(s)) $ 0.00
Estimated Shipping $ 0.00
Total (Pre-Tax) $ 0.00

You own the digital copy of this edition

View in Library
or
British Standards Institution Logo

BSI BS ISO 8807:1989

Information processing systems. Open systems interconnection. LOTOS. A formal description technique based on the temporal ordering of observational behaviour

PUBLISH DATE 1990
BSI BS ISO 8807:1989

OBSOLETE

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.

Loading...

Failed to load document history.

Publish Date Document Id Type View