BSI - DD 124
Open Systems Interconnection: LOTOS, a formal description technique based on the temporal ordering of observational behavior
inactive, Most Current
| Organization: | BSI |
| Publication Date: | 30 September 1985 |
| Status: | inactive |
| Page Count: | 50 |
| ICS Code (Open systems interconnection in general): | 35.100.01 |
scope:
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.
Document History
DD 124
September 30, 1985
Open Systems Interconnection: LOTOS, a formal description technique based on the temporal ordering of observational behavior
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...
Related Products
Searching for related products...