BS DD 124:1985
Click here to purchase
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.
Product Details
- Published:
- 09/30/1985
- ISBN(s):
- 0580147002
- Number of Pages:
- 50
- File Size:
- 1 file
- Product Code(s):
- 10206220, 10206220, 10206220
- Note:
- This product is unavailable in Ukraine, Russia, Belarus