加载中…
2023-05-17
Verification of Population Protocols with Unordered Data is undecidable
Roland Guttenberg
文献摘要
We consider the new extension of population protocols with unordered data and show that the corresponding well-specification problem and therefore also other verification problems are undecidable.
讨论
0讲解博客
生成讲解博客的中文版本
AI智能校验
生成AI智能校验的中文版本