Verification of Population Protocols.

Javier Esparza, Pierre Ganty, Jrme Leroux, Rupak Majumdar

Browse the full CONCUR paper archive.