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
$175.00
$350.52
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.
Product Information
Published:
09/30/1985
Pages:
50
ISBN:
0580147002
File Size:
1 file
Language:
English
Note:
This product is unavailable in Ukraine, Russia, Belarus
