The following publications are possibly variants of this publication:
- Towards Efficient Verification of Population ProtocolsMichael Blondin, Javier Esparza, Stefan Jaax, Philipp J. Meyer. podc 2017: 423-430 [doi]
- The complexity of verifying population protocolsJavier Esparza, Stefan Jaax, Mikhail A. Raskin, Chana Weil-Kennedy. dc, 34(2):133-177, 2021. [doi]
- Verification of population protocolsJavier Esparza, Pierre Ganty, Jérôme Leroux, Rupak Majumdar. ACTA, 54(2):191-215, 2017. [doi]
- Verification of Population ProtocolsJavier Esparza, Pierre Ganty, Jérôme Leroux, Rupak Majumdar. concur 2015: 470-482 [doi]