Julien Clément, Carole Delporte-Gallet, Hugues Fauconnier, Mihaela Sighireanu. Guidelines for the Verification of Population Protocols. In 2011 International Conference on Distributed Computing Systems, ICDCS 2011, Minneapolis, Minnesota, USA, June 20-24, 2011. pages 215-224, IEEE Computer Society, 2011. [doi]
Abstract is missing.