Verification of Population Protocols with Unordered Data

Steffen van Bergerem, Roland Guttenberg, Sandra Kiefer +3

Population protocols are a well-studied model of distributed computation in which a group of anonymous finite-state agents communicates via pairwise interactions. Together they dec…