Open Systems Interconnection: LOTOS, a formal description technique based on the temporal ordering of observational behaviour (ISO/DP 8807). (30th September 1985)

Record Type:
Book
Title:
Open Systems Interconnection: LOTOS, a formal description technique based on the temporal ordering of observational behaviour (ISO/DP 8807). (30th September 1985)
Main Title:
Open Systems Interconnection: LOTOS, a formal description technique based on the temporal ordering of observational behaviour (ISO/DP 8807)
Authors:
British Standards Institution,
Publisher Details:
London : British Standards Institution
Publication Date:
1985
Extent:
1 online resource (50 pages)
Subjects:
602.1841
Metalanguages
Syntax
Systemology
Semantics
Open systems interconnection
Definitions
Computer technology
Verification
Languages:
English
Related ISBNs:
0580147002
ISSNs:
1020-6220
Access Rights:
Legal Deposit; Only available on premises controlled by the deposit library and to one user at any one time; The Legal Deposit Libraries (Non-Print Works) Regulations (UK).
Access Usage:
Restricted: Printing from this resource is governed by The Legal Deposit Libraries (Non-Print Works) Regulations (UK) and UK copyright law currently in force.
View Content:
Available online (eLD content is only available in our Reading Rooms) ↗
Physical Locations:
British Library HMNTS - ELD.DS.537992
Ingest File:
03_143.xml