Distributed fault detection in communication protocols using extended finite state machines

被引：0
|
作者：
Vijayananda, K [1 ]
机构：
[1] SWISS FED INST TECHNOL,LAUSANNE,SWITZERLAND
来源：
1996 INTERNATIONAL CONFERENCE ON PARALLEL AND DISTRIBUTED SYSTEMS, PROCEEDINGS | 1996年
关键词：
D O I：
10.1109/ICPADS.1996.517577
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
引用
收藏
页码：310 / 318
页数：9
相关论文
共 50 条
  • [31] Supervisory Control of a Kind of Extended Finite State Machines
    Wang, Xiang-Yun
    Cai, Kai-Yuan
    PROCEEDINGS OF THE 2012 24TH CHINESE CONTROL AND DECISION CONFERENCE (CCDC), 2012, : 775 - 780
  • [32] Extending Automata Learning to Extended Finite State Machines
    Cassel, Sofia
    Howar, Falk
    Jonsson, Bengt
    Steffen, Bernhard
    MACHINE LEARNING FOR DYNAMIC SOFTWARE ANALYSIS: POTENTIALS AND LIMITS, 2018, 11026 : 149 - 177
  • [33] ON DERIVING THE PARALLEL COMPOSITION OF EXTENDED FINITE STATE MACHINES
    Shirokova, E., V
    Prokopenko, S. A.
    Shabaldina, N., V
    VESTNIK TOMSKOGO GOSUDARSTVENNOGO UNIVERSITETA-UPRAVLENIE VYCHISLITELNAJA TEHNIKA I INFORMATIKA-TOMSK STATE UNIVERSITY JOURNAL OF CONTROL AND COMPUTER SCIENCE, 2019, (48): : 83 - 91
  • [34] Verification of finite-state machines: A distributed approach
    Gorrieri, Roberto
    JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, 2018, 96 : 65 - 80
  • [35] Price Pattern Detection using Finite State Machines with Fuzzy Transitions
    Maneesilp, Kraimon
    Prasartkaew, Chutima
    2014 IEEE 11TH INTERNATIONAL CONFERENCE ON E-BUSINESS ENGINEERING (ICEBE), 2014, : 126 - 130
  • [36] Formal Change Impact Analyses of Extended Finite State Machines using a Theorem Prover
    Guo, Bo
    Subramaniam, Mahadevan
    SEFM 2008: Sixth IEEE International Conference on Software Engineering and Formal Methods, Proceedings, 2008, : 335 - 344
  • [37] ON THE PROGRESS OF COMMUNICATION BETWEEN 2 FINITE STATE MACHINES
    GOUDA, MG
    MANNING, EG
    YU, YT
    INFORMATION AND CONTROL, 1984, 63 (03): : 200 - 216
  • [38] Nonconcurrent error detection and correction in fault-tolerant linear finite-state machines
    Hadjicostis, CN
    IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 2003, 48 (12) : 2133 - 2140
  • [39] Multimedia synchronization with user interactions using Interactive Extended Finite State Machines (IEFSMS)
    Huang, CM
    Wang, C
    JOURNAL OF THE CHINESE INSTITUTE OF ENGINEERS, 1998, 21 (03) : 233 - 254
  • [40] A low-power architecture for Extended Finite State Machines using input gating
    Huang, SY
    Liu, CJ
    IEICE TRANSACTIONS ON FUNDAMENTALS OF ELECTRONICS COMMUNICATIONS AND COMPUTER SCIENCES, 2004, E87A (12) : 3109 - 3115
12345