Verification of population protocols with unordered data

DOI10.4230/LIPICS.ICALP.2024.156MaRDI QIDQ6875020zbMATH OpenFDO

Authors Steffen van Bergerem, Roland Guttenberg, Sandra Kiefer, Corto N. Mascle, Nicolas Waldburger, Chana Weil-Kennedy

Publication date 14 January 2026

Copyright license Creative Commons Attribution 4.0 International

zbMATH Keywords

distributed computingpopulation protocolsparameterized verificationwell-specification

Mathematics Subject Classification ID

Theory of software (68Nxx) Theory of computing (68Qxx)

This page was built for publication: Verification of population protocols with unordered data

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6875020)