The Z notation: a reference manual
The Z notation: a reference manual
Protocol specification for OSI
Computer Networks and ISDN Systems - Special issue application of formal techniques to the OSI protocols
Specification and Verification in Communications Standards
Proceedings of the BCS-FACS Workshop on Specification and Verification of Concurrent Systems
| Hi-index | 0.01 |
Communication standards are specifications or models of protocols and related systems. To be fit for their purpose they must be sufficiently abstract to be implementation-independent and free from substantial errors, as they will be used many times, and mistakes found after publication are extremely costly. Such standards --- especially Open Systems Interconnection (OSI) --- have therefore over the past ten years been a fruitful area for the trial of formal techniques[l, 3].