The IC system for protocol development

Authors:
D. M. Cohen;T. M. Guinther
Affiliations:
Bell Communications Research, Morristown, NJ;Bell Communications Research, Piscataway, NJ
Venue:
SIGCOMM '87 Proceedings of the ACM workshop on Frontiers in computer communications technology
Year:
1987

Citing 0
Cited 4

The IC* system for debugging parallel programs via interactive monitoring and control

PADD '88 Proceedings of the 1988 ACM SIGPLAN and SIGOPS workshop on Parallel and distributed debugging
L.0: a parallel executable temporal logic language

Conference proceedings on Formal methods in software development
The L.0 Language and Environment for Protocol Simulation and Prototyping

IEEE Transactions on Computers - Special issue on protocol engineering
The IC* Model of Parallel Computation and Programming Environment

IEEE Transactions on Software Engineering

Quantified Score

Hi-index	0.00

Visualization

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.