Logo
Login Sign Up
Current Revision

BSI BS ISO 8807:1989

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

$479.75

2-5 Days

$479.75

SAVE 10%

$863.55


Sub Total (1 Item(s))

$ 0.00

Estimated Shipping

$ 0.00

Total (Pre-Tax)

$ 0.00


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.
SDO BSI: British Standards Institution
Document Number ISO 8807
Publication Date Dec. 31, 1990
Language en - English
Page Count
Revision Level
Supercedes
Committee ICT/1
Publish Date Document Id Type View
Dec. 31, 1990 BS ISO 8807:1989 Revision