• 主题
高级搜索  >
历史搜索 清空历史
首页> 外文会议>Annual ACM/IEEE Symposium on Logic in Computer Science >Data Communicating Processes with Unreliable Channels
【24h】

Data Communicating Processes with Unreliable Channels

机译：具有不可靠通道的数据通信过程

获取原文
页面导航
  • 摘要
  • 著录项
  • 相似文献
  • 相关主题

摘要

We extend the classical model of lossy channel systems by considering systems that operate on a finite set of variables ranging over an infinite data domain. Furthermore, each message inside a channel is equipped with a data item representing its value. Although we restrict the model by allowing the variables to be only tested for (dis-)equality, we show that the state reachability problem is undecidable. In light of this negative result, we consider bounded-phase reachability, where the processes are restricted to performing either send or receive operations during each phase. We show decidability of state reachability in this case by computing a symbolic encoding of the set of system configurations that are reachable from a given configuration.
机译：通过考虑在无限数据域范围内的一组有限变量上运行的系统，我们扩展了有损通道系统的经典模型。此外，通道内的每个消息都配有代表其值的数据项。尽管我们通过仅对变量（不等式）进行测试来限制模型，但我们表明状态可达性问题是无法确定的。鉴于这种负面结果，我们考虑了有界阶段可到达性，其中进程被限制为在每个阶段都执行发送或接收操作。通过计算从给定配置可以到达的系统配置集的符号编码，我们展示了这种情况下状态可达性的可判定性。

著录项

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

  • 客服微信

  • 服务号