We use cookies to improve your experience with our site.

Indexed in:

SCIE, EI, Scopus, INSPEC, DBLP, CSCD, etc.

Submission System
(Author / Reviewer / Editor)
Advanced Search
Volume 15 Issue 2
March  2000
Turn off MathJax
Article Contents
Abstract
References
Related Articles
LI Layuan, LI Chunlin. A Semantics-Based Approach for Achieving Self Fault-Tolerance of Protocols[J]. Journal of Computer Science and Technology, 2000, 15(2): 176-183.
Citation: LI Layuan, LI Chunlin. A Semantics-Based Approach for Achieving Self Fault-Tolerance of Protocols[J]. Journal of Computer Science and Technology, 2000, 15(2): 176-183.
shu

A Semantics-Based Approach for Achieving Self Fault-Tolerance of Protocols

  • Department of Computer Science & Technology Wuhan Transportation University; Wuhan 430063; P.R. China ;

More Information
  • Published Date: March 09, 2000
    Abstract
  • The cooperation of different processes may be lost by mistake when a protocol is executed. The protocol cannot be normally operated under this condition. In this paper,the self fault-tolerance of protocols is discussed, and a semanticsbased approach for achieving self fault-tolerance of protocols is presented. Some main characteristics of self fault-tolerance of protocols concerning liveness, nontermination and infinity are also presented. Meanwhile, the sufficient and necessary conditions for achieving s…
    • FullText(HTML)
    • References (3)
  • [1]
    Li Layuan. A formal specification technique for communication protocols. In Proc. IEEE INFOCOM,1989.
    [2]
    Leo Caccian, Cmar Rafiq. Validation of protocols with temporal constraints. Comput. Commun., 1996, 10(14): 1188-119.
    [3]
    Li Layuan. Theory and Technology of LAN. Beijing: Defence Industry Press, 1997, pp.271-312. ……….
    • Relative Articles

  • Related Articles

    [1]Rui Xue, Deng-Guo Feng. New Semantic Model for Authentication Protocols in ASMs[J]. Journal of Computer Science and Technology, 2004, 19(4).
    [2]XU Mingwei, WU Jianping. A Formal Approach to Protocol Performance Testing[J]. Journal of Computer Science and Technology, 1999, 14(1): 81-87.
    [3]Xu Dianxiang, Zheng Guoliang. Towards a Declarative Semantics of Inheritance with Exceptions[J]. Journal of Computer Science and Technology, 1996, 11(1): 61-71.
    [4]Xu Manwu, Lu Jianfeng, Zeng Fancong, Dai Jinwn. A Formal Semantics for DAI Language NUML[J]. Journal of Computer Science and Technology, 1995, 10(3): 227-238.
    [5]Hock C. Chan. Translational Semantics for a Conceptual Level Query Language[J]. Journal of Computer Science and Technology, 1995, 10(2): 175-187.
    [6]Wang Huaimin, Chen Huowang. A Constructor-Based EI-Model Semantics of EI-CTRS[J]. Journal of Computer Science and Technology, 1995, 10(1): 85-96.
    [7]Jin Zhi. The Structure and Semantics of an Object-Oriented Logic Programming Language: SCKE[J]. Journal of Computer Science and Technology, 1995, 10(1): 74-84.
    [8]Shao Zhiqing. A Standard Model-Theoretic Approach to Operational Semantics of Recursive Programs[J]. Journal of Computer Science and Technology, 1993, 8(2): 59-65.
    [9]Jiang Changjun, Wu Zhehui. Net Operations[J]. Journal of Computer Science and Technology, 1992, 7(4): 333-344.
    [10]Zhu Mingyuan. Two Congruent Semantics for Prolog with CUT[J]. Journal of Computer Science and Technology, 1990, 5(1): 82-91.
    • Supplements (0)

Catalog

    Get Citation
    PDF
    XML
    Article views (19) PDF downloads (1388) Cited by()
    Related

    Copyright ©2025 JCST, All Rights Reserved     京ICP备05002829号-1

    Institute of Computing Technology, Chinese Academy of Sciences
    P.O. Box 2704, Beijing 100190, P.R. China

    Tel.: 86-10-62610746 E-mail: jcst@ict.ac.cn

    /

    DownLoad:  Full-Size Img  PowerPoint
    Return
    Return