首页    期刊浏览 2024年11月07日 星期四
登录注册

文章基本信息

  • 标题:Deciding the Existence of Cut-Off in Parameterized Rendez-Vous Networks
  • 本地全文:下载
  • 作者:Florian Horn ; Arnaud Sangnier
  • 期刊名称:LIPIcs : Leibniz International Proceedings in Informatics
  • 电子版ISSN:1868-8969
  • 出版年度:2020
  • 卷号:171
  • 页码:46:1-46:16
  • DOI:10.4230/LIPIcs.CONCUR.2020.46
  • 出版社:Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
  • 摘要:We study networks of processes which all execute the same finite-state protocol and communicate thanks to a rendez-vous mechanism. Given a protocol, we are interested in checking whether there exists a number, called a cut-off, such that in any networks with a bigger number of participants, there is an execution where all the entities end in some final states. We provide decidability and complexity results of this problem under various assumptions, such as absence/presence of a leader or symmetric/asymmetric rendez-vous.
  • 关键词:Parameterized networks; Verification; Cut-offs
国家哲学社会科学文献中心版权所有