VERIFICATION OF AN ALTERNATING BIT PROTOCOL BY MEANS OF PROCESS ALGEBRA

被引：0
|
作者：
BERGSTRA, JA
KLOP, JW
机构：
来源：
LECTURE NOTES IN COMPUTER SCIENCE | 1986年 / 215卷
关键词：
D O I：
暂无
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
引用
收藏
页码：9 / 23
页数：15
相关论文
共 50 条
  • [1] Formal verification of a leader election protocol in process algebra
    Fredlund, LA
    Groote, JF
    Korver, H
    [J]. THEORETICAL COMPUTER SCIENCE, 1997, 177 (02) : 459 - 486
  • [2] An application of co-inductive types in Coq: Verification of the alternating bit protocol
    Gimenez, E
    [J]. TYPES FOR PROOFS AND PROGRAMS, 1996, 1158 : 135 - 152
  • [3] Using Probabilistic Kleene algebra for protocol verification
    McIver, A. K.
    Cohen, E.
    Morgan, C. C.
    [J]. RELATIONS AND KLEENE ALGEBRA IN COMPUTER SCIENCE, PROCEEDINGS, 2006, 4136 : 296 - 310
  • [4] SELF-STABILIZATION OF THE ALTERNATING-BIT PROTOCOL
    AFEK, Y
    BROWN, GM
    [J]. PROCEEDINGS OF THE EIGHTH SYMPOSIUM ON RELIABLE DISTRIBUTED SYSTEMS, 1989, : 80 - 83
  • [5] Using probabilistic Kleene algebra pKA for protocol verification
    McIver, A. K.
    Gonzalia, C.
    Cohen, E.
    Morgan, C. C.
    [J]. JOURNAL OF LOGIC AND ALGEBRAIC PROGRAMMING, 2008, 76 (01): : 90 - 111
  • [6] FORMAL ANALYSIS OF THE ALTERNATING BIT PROTOCOL BY TEMPORAL PETRI NETS
    SUZUKI, I
    [J]. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1990, 16 (11) : 1273 - 1281
  • [7] A process algebra based verification of a production system
    Kleijn, JJT
    Rooda, JE
    Reniers, MA
    [J]. SECOND INTERNATIONAL CONFERENCE ON FORMAL ENGINEERING METHODS, PROCEEDINGS, 1998, : 90 - 99
  • [8] COMBINING INTERACTION AND AUTOMATION IN PROCESS ALGEBRA VERIFICATION
    CAMILLERI, A
    INVERARDI, P
    NESI, M
    [J]. LECTURE NOTES IN COMPUTER SCIENCE, 1991, 494 : 283 - 296
  • [9] Specifications and verification of network protocols by process algebra
    Ciobanu, G
    Sridhar, KN
    [J]. SEVENTH INTERNATIONAL SYMPOSIUM ON SYMBOLIC AND NUMERIC ALGORITHMS FOR SCIENTIFIC COMPUTING, PROCEEDINGS, 2005, : 250 - 258
  • [10] SDN Protocol Analysis with Process Algebra Method
    Fu, Chen
    Bing, Fu
    [J]. SMART COMPUTING AND COMMUNICATION, SMARTCOM 2016, 2017, 10135 : 95 - 101
12345