ACM Portal
  Subscribe (Full Service)    Register (Limited Service, Free)    Login
  Search:   The ACM Digital Library   The Guide
  
ACM Home Page
Please provide us with feedback. Feedback
The IC system for protocol development
Source ACM SIGCOMM Computer Communication Review archive
Volume 17 ,  Issue 5  (Oct./Nov. 1987) table of contents
Pages: 228 - 233  
Year of Publication: 1987
ISSN:0146-4833
Also published in ...
Authors
D. M. Cohen  Bell Communications Research, Morristown, NJ
T. M. Guinther  Bell Communications Research, Piscataway, NJ
Publisher
ACM  New York, NY, USA
Bibliometrics
Downloads (6 Weeks): n/a,   Downloads (12 Months): n/a,   Citation Count: 4
Additional Information:

abstract   cited by   index terms   collaborative colleagues  

Tools and Actions: Request Permissions Request Permissions    Review this Article  
DOI Bookmark: Use this link to bookmark this Article: http://doi.acm.org/10.1145/55483.55505
What is a DOI?

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.


CITED BY  4
E. J. Cameron , D. Cohen, The IC* system for debugging parallel programs via interactive monitoring and control, ACM SIGPLAN Notices, v.24 n.1, p.261-270, Jan. 1989
Linda Ness, L.0: a parallel executable temporal logic language, ACM SIGSOFT Software Engineering Notes, v.15 n.4, p.80-89, Sep. 1990
E. J. Cameron , D. M. Cohen , B. Gopinath , W. M. Keese, II , L. Ness , P. Uppaluru , J. R. Vollaro, The IC* Model of Parallel Computation and Programming Environment, IEEE Transactions on Software Engineering, v.14 n.3, p.317-326, March 1988
E. Jane Cameron , David M. Cohen , Timothy M. Guinther , William M. Keese, Jr. , Cynthia Norman , Hassan N. Srinidhi, The L.0 Language and Environment for Protocol Simulation and Prototyping, IEEE Transactions on Computers, v.40 n.4, p.562-571, April 1991

INDEX TERMS

Primary Classification:
  C. Computer Systems Organization
  C.2 COMPUTER-COMMUNICATION NETWORKS

Additional Classification:
  K. Computing Milieux
  K.1 THE COMPUTER INDUSTRY
      Subjects: Standards


General Terms:
Design, Performance, Standardization

Collaborative Colleagues:
D. M. Cohen: colleagues
T. M. Guinther: colleagues
This Article has also been published in:

The ACM Portal is published by the Association for Computing Machinery. Copyright © 2009 ACM, Inc.
Terms of Usage   Privacy Policy   Code of Ethics   Contact Us

Useful downloads: Adobe Acrobat    QuickTime    Windows Media Player    Real Player