On verifying fair lossy channel systems

被引：0
|
作者：
Masson, B
Schnoebelen, P
机构：
[1] ENS Cachan, Lab Specificat & Verificat, F-94235 Cachan, France
[2] CNRS UMR 8643, F-94235 Cachan, France
来源：
MATHEMATICAL FOUNDATIONS OF COMPUTER SCIENCE 2002 | 2002年 / 2420卷
关键词：
D O I：
暂无
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
Lossy channel systems are systems of finite state automata that communicate via unreliable unbounded fifo channels. They are an important computational model because of the role they play in the algorithmic verification of communication protocols. In this paper, we show that fair termination is decidable for a large class of these systems.
引用
收藏
页码：543 / 555
页数：13
相关论文
共 50 条
  • [1] Verifying lossy channel systems has nonprimitive recursive complexity
    Schnoebelen, P
    INFORMATION PROCESSING LETTERS, 2002, 83 (05) : 251 - 261
  • [2] The verification of probabilistic lossy channel systems
    Schnoebelen, P
    VALIDATION OF STOCHASTIC SYSTEMS: A GUIDE TO CURRENT RESEARCH, 2004, 2925 : 445 - 465
  • [3] Backward Coverability with Pruning for Lossy Channel Systems
    Geffroy, Thomas
    Leroux, Jerome
    Sutre, Gregoire
    SPIN'17: PROCEEDINGS OF THE 24TH ACM SIGSOFT INTERNATIONAL SPIN SYMPOSIUM ON MODEL CHECKING OF SOFTWARE, 2017, : 132 - 141
  • [4] Quantitative analysis of Probabilistic Lossy Channel Systems
    Rabinovich, A
    AUTOMATA, LANGUAGES AND PROGRAMMING, PROCEEDINGS, 2003, 2719 : 1008 - 1021
  • [5] STOCHASTIC PARITY GAMES ON LOSSY CHANNEL SYSTEMS
    Abdulla, Parosh Aziz
    Clemente, Lorenzo
    Mayr, Richard
    Sandberg, Sven
    LOGICAL METHODS IN COMPUTER SCIENCE, 2014, 10 (04)
  • [6] Ordinal recursive complexity of lossy channel systems
    Chambart, P.
    Schnoebelen, Ph.
    TWENTY-THIRD ANNUAL IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE, PROCEEDINGS, 2008, : 205 - +
  • [7] Quantitative analysis of probabilistic lossy channel systems
    Rabinovich, Alexander
    INFORMATION AND COMPUTATION, 2006, 204 (05) : 713 - 740
  • [8] Uniform reliable broadcast in anonymous distributed systems with fair lossy channels
    Tang, Jian
    Larrea, Mikel
    Arevalo, Sergio
    Jimenez, Ernesto
    COMPUTING, 2020, 102 (09) : 1967 - 1999
  • [9] Uniform reliable broadcast in anonymous distributed systems with fair lossy channels
    Jian Tang
    Mikel Larrea
    Sergio Arévalo
    Ernesto Jiménez
    Computing, 2020, 102 : 1967 - 1999
  • [10] Implementing Uniform Reliable Broadcast in Anonymous Distributed Systems with Fair Lossy Channels
    Tang, Jian
    Larrea, Mikel
    Arevalo, Sergio
    Jimenez, Ernesto
    2015 IEEE 29TH INTERNATIONAL PARALLEL AND DISTRIBUTED PROCESSING SYMPOSIUM WORKSHOPS, 2015, : 500 - 508
12345