DD 124:1985
Superseded
Superseded
A superseded Standard is one, which is fully replaced by another Standard, which is a new edition of the same Standard.
View Superseded by
Open Systems Interconnection: LOTOS, a formal description technique based on the temporal ordering of observational behaviour (ISO/DP 8807)
Available format(s)
Hardcopy , PDF
Language(s)
English
Published date
30-09-1985
Publisher
Superseded date
01-01-1989
Superseded by
€347.44
Excluding VAT
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 |
Summarise