2023/05/17 by Roland Guttenberg, Guttenberg, Roland
Computer Science · Biochemistry, Genetics and Molecular Biology · #Distributed systems and fault tolerance #DNA and Biological Computing #Petri Nets in System Modeling
paper · pdf · doi:10.48550/arxiv.2305.10159
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.