The IC system for protocol development
- 1 August 1987
- journal article
- Published by Association for Computing Machinery (ACM) in ACM SIGCOMM Computer Communication Review
- Vol. 17 (5) , 228-233
- https://doi.org/10.1145/55483.55505
Abstract
The realization of a new protocol is a long and complicated procedure whose inherent technical difficulty is exacerbated by the scarcity of useful tools. This paper discusses the initial use of a system that is being developed by Bell Communication Research to help in the specification, analysis, and implementation of communications protocols. This paper describes the application of this system to the specification and implementation of an industry standard protocol.Keywords
This publication has 0 references indexed in Scilit: