AN ALGEBRAIC SPECIFICATION OF HDLC PROCEDURES AND ITS VERIFICATION

被引：5
|
作者：
HIGASHINO, T [1 ]
MORI, M [1 ]
SUGIYAMA, Y [1 ]
TANIGUCHI, K [1 ]
KASAMI, T [1 ]
机构：
[1] SHIGA UNIV,FAC ECON,HIKONE,SHIGA 522,JAPAN
来源：
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING | 1984年 / 10卷 / 06期
关键词：
D O I：
10.1109/TSE.1984.5010311
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
引用
收藏
页码：825 / 836
页数：12
相关论文
共 50 条
  • [1] AN HDLC PROTOCOL SPECIFICATION AND ITS VERIFICATION USING IMAGE PROTOCOLS
    SHANKAR, AU
    LAM, SS
    [J]. ACM TRANSACTIONS ON COMPUTER SYSTEMS, 1983, 1 (04): : 331 - 368
  • [2] ALGEBRAIC SPECIFICATION AND VERIFICATION OF COMMUNICATION PROTOCOLS
    KOOMEN, CJ
    [J]. SCIENCE OF COMPUTER PROGRAMMING, 1985, 5 (01) : 1 - 36
  • [3] On the Algebraic Specification and Verification of Parallel Systems
    Triantafyllou, Nikolaos
    Ksystra, Katerina
    Stefaneas, Petros
    [J]. LEVERAGING APPLICATIONS OF FORMAL METHODS, VERIFICATION AND VALIDATION: SPECIALIZED TECHNIQUES AND APPLICATIONS, PT II, 2014, 8803 : 623 - 624
  • [4] VERIFICATION OF HDLC
    BRAND, D
    JOYNER, WH
    [J]. IEEE TRANSACTIONS ON COMMUNICATIONS, 1982, 30 (05) : 1136 - 1142
  • [5] Specification and Verification for Unrestricted Algebraic Effects and Handling
    Song, Yahui
    Foo, Darius
    Chin, Wei-Ngan
    [J]. PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, 2024, 8 (ICFP):
  • [6] FORMULAS, PROCESSES, AND PETRI-NETS APPLIED TO THE SPECIFICATION AND VERIFICATION OF A HDLC PROTOCOL
    ANTON, MD
    BRETSCHNEIDER, M
    [J]. LECTURE NOTES IN COMPUTER SCIENCE, 1989, 352 : 140 - 154
  • [7] Component-based algebraic specification and verification in CafeOBJ
    Diaconescu, R
    Futatsugi, K
    Iida, S
    [J]. FM'99-FORMAL METHODS, VOL II, 1999, 1709 : 1644 - 1663
  • [8] REALIZATION OF A LINEAR GRAPH GIVEN ITS ALGEBRAIC SPECIFICATION
    AUSLANDER, L
    TRENT, HM
    [J]. JOURNAL OF THE ACOUSTICAL SOCIETY OF AMERICA, 1961, 33 (09): : 1183 - &
  • [9] Error description on algebraic specification and its automatic addition
    Hamaguchi, T
    Yamamoto, S
    Agusa, K
    [J]. SYSTEMS AND COMPUTERS IN JAPAN, 1996, 27 (10) : 59 - 67
  • [10] BALANCED HDLC PROCEDURES - A PERFORMANCE ANALYSIS
    BUX, W
    KUMMERLE, K
    TRUONG, HL
    [J]. IEEE TRANSACTIONS ON COMMUNICATIONS, 1980, 28 (11) : 1889 - 1898
12345