Formal Modelling and Verification of Population Protocols.

Dominique Mry, Michael Poppleton

Browse the full IFM paper archive.