Guidelines for the Verification of Population Protocols.

Julien Clment, Carole Delporte-Gallet, Hugues Fauconnier, Mihaela Sighireanu

Browse the full ICDCS paper archive.