MODULAR VERIFICATION OF COMPUTER-COMMUNICATION PROTOCOLS

被引：54
|
作者：
HAILPERN, BT
OWICKI, SS
机构：
[1] STANFORD UNIV,DEPT COMP SCI,STANFORD,CA 94305
[2] STANFORD UNIV,COMP SCI LAB,STANFORD,CA 94305
来源：
IEEE TRANSACTIONS ON COMMUNICATIONS | 1983年 / 31卷 / 01期
关键词：
D O I：
10.1109/TCOM.1983.1095720
中图分类号：
TM [电工技术]; TN [电子技术、通信技术];
学科分类号：
0808 ; 0809 ;
摘要：
引用
收藏
页码：56 / 68
页数：13
相关论文
共 50 条
  • [1] COMPUTER-COMMUNICATION NETWORK PROTOCOLS
    BUTRIMENKO, A
    SEXTON, J
    AVTOMATIKA I VYCHISLITELNAYA TEKHNIKA, 1978, (06): : 56 - 65
  • [2] PROTOCOLS - KEY TO THE FUTURE OF COMPUTER-COMMUNICATION
    BERNSTEIN, L
    AT&T TECHNICAL JOURNAL, 1990, 69 (01): : 2 - 3
  • [3] COMPUTER-COMMUNICATION
    BINGLEY, P
    ELECTRONICS AND POWER, 1982, 28 (06): : 430 - 430
  • [4] Automated Modular Verification for Relaxed Communication Protocols
    Costea, Andreea
    Chin, Wei-Ngan
    Qin, Shengchao
    Craciun, Florin
    PROGRAMMING LANGUAGES AND SYSTEMS, APLAS 2018, 2018, 11275 : 284 - 305
  • [5] COMPUTER-COMMUNICATION AND THE ELDERLY
    DANOWSKI, JA
    SACKS, W
    EXPERIMENTAL AGING RESEARCH, 1980, 6 (02) : 125 - 135
  • [6] COMPUTER-COMMUNICATION NETWORKS
    BUNCH, SR
    ALSBERG, PA
    ANNUAL REVIEW OF INFORMATION SCIENCE AND TECHNOLOGY, 1977, 12 : 183 - 216
  • [7] IFIP AND COMPUTER-COMMUNICATION
    UHLIG, RP
    COMPUTER NETWORKS AND ISDN SYSTEMS, 1986, 12 (04): : 225 - 229
  • [8] ADVANCES IN COMPUTER-COMMUNICATION
    SAMOILENKO, SI
    VESTNIK AKADEMII NAUK SSSR, 1977, (03) : 105 - 108
  • [9] COMPUTER-COMMUNICATION TERMINAL EQUIPMENT
    YOKOYAMA, Y
    FURUSAWA, M
    JAPAN ANNUAL REVIEWS IN ELECTRONICS COMPUTERS & TELECOMMUNICATIONS, 1983, 9 : 205 - 215
  • [10] COMPUTER-COMMUNICATION NETWORKS - AN OVERVIEW
    BROWN, ME
    WEIDE, BW
    PROCEEDINGS OF THE AMERICAN SOCIETY FOR INFORMATION SCIENCE, 1982, 19 : 3 - 3
12345