DD 124:1985
Superseded
View Superseded by
Open Systems Interconnection: LOTOS, a formal description technique based on the temporal ordering of observational behaviour (ISO/DP 8807)
Hardcopy , PDF
English
09-30-1985
01-01-1989
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.
| Committee |
ICT/-/1
|
| DocumentType |
Standard
|
| Pages |
0
|
| PublisherName |
British Standards Institution
|
| Status |
Superseded
|
| SupersededBy |
Please Login or Create an Account so you can add users to your Multi user PDF Later.
Important note : All end users must be registered with an Account prior to user licenses being assigned.
Users cannot be edited or removed once added to your Multi user PDF.