Towards efficient verification of population protocols
From MaRDI portal
DOI10.1007/s10703-021-00367-3zbMath1487.68032arXiv1703.04367MaRDI QIDQ2058386
Javier Esparza, Michael Blondin, Stefan Jaax, Philipp J. Meyer
Publication date: 8 December 2021
Published in: Formal Methods in System Design, Proceedings of the ACM Symposium on Principles of Distributed Computing (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1703.04367
68Q25: Analysis of algorithms and problem complexity
68Q60: Specification and verification (program logics, model checking, etc.)
68M14: Distributed systems
68M12: Network protocols
Uses Software