Black Ninjas in the Dark

DOI10.1145/3209108.3209110zbMath1487.68031OpenAlexW2810055296MaRDI QIDQ5145270

Javier Esparza, Stefan Jaax, Michael Blondin, Antonín Kučera

Publication date: 20 January 2021

Published in: Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science (Search for Journal in Brave)

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

zbMATH Keywords

distributed computingpopulation protocolsparameterized verification

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Distributed systems (68M14) Network protocols (68M12)

Related Items (1)

Towards efficient verification of population protocols

This page was built for publication: Black Ninjas in the Dark