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.

翻译：我们考虑无序数据群体协议的新扩展，并证明相应的良定问题以及因此其他验证问题都是不可判定的。