Towards efficient verification of population protocols

DOI10.1145/3087801.3087816MaRDI QIDQ6828031zbMATH OpenFDO

Authors Michael Blondin, Javier Esparza, Stefan Jaax, Philipp J. Meyer

Publication date 11 October 2017

Published in Proceedings of the ACM Symposium on Principles of Distributed Computing (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1145/3087801.3087816

zbMATH Keywords

automated verificationpopulation protocolstermination

Mathematics Subject Classification ID

Network protocols (68M12) Distributed systems (68M14) Analysis of algorithms and problem complexity (68Q25) Specification and verification (program logics, model checking, etc.) (68Q60)

This page was built for publication: Towards efficient verification of population protocols

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