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
Digital Library logoTake a look at the new version of this page: [ beta version ]. Tell us what you think.
Semi-automatic implementation of OSI protocols
Source Computer Networks and ISDN Systems archive
Volume 18 ,  Issue 3  (April 1990) table of contents
Special issue application of formal techniques to the OSI protocols
Pages: 221 - 238  
Year of Publication: 1990
ISSN:0169-7552
Authors
Deepinder P. Sidhu
Thomas P. Blumer
Publisher
Elsevier Science Publishers B. V.  Amsterdam, The Netherlands, The Netherlands
Bibliometrics
Downloads (6 Weeks): n/a,   Downloads (12 Months): n/a,   Citation Count: 4
Additional Information:

cited by   index terms   collaborative colleagues  

Tools and Actions: Review this Article  
DOI Bookmark: 10.1016/0169-7552(90)90135-F

CITED BY  4
Sun-Jen Huang , Richard Lai, PSAMS: a communication protocol specification assessment and measurement system, Software—Practice & Experience, v.32 n.12, p.1129-1154, October 2002
Anthony Chung , Deepinder Sidhu, Experience with an Estelle development system, ACM SIGSOFT Software Engineering Notes, v.15 n.4, p.8-17, Sep. 1990
Richard Lai , Sun-Jen Huang, A Model for Estimating the Size of a Formal Communication Protocol Specification and Its Implementation, IEEE Transactions on Software Engineering, v.29 n.1, p.46-62, January 2003
Deepinder Sidhu , Anthony Chung , Thomas P. Blumer, Experience with formal methods in protocol development, ACM SIGCOMM Computer Communication Review, v.21 n.2, p.81-101, April 1991

INDEX TERMS

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

Additional Classification:
  C. Computer Systems Organization
  C.2 COMPUTER-COMMUNICATION NETWORKS
      C.2.1 Network Architecture and Design

          Nouns: OSI

  D. Software
  D.3 PROGRAMMING LANGUAGES

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


General Terms:
Languages, Performance, Standardization

Collaborative Colleagues:
Deepinder P. Sidhu: colleagues
Thomas P. Blumer: colleagues

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

Useful downloads: Adobe Acrobat    QuickTime    Windows Media Player    Real Player