Algorithmic Verification of Population Protocols.

Ioannis Chatzigiannakis, Othon Michail, Paul G. Spirakis

Browse the full SSS paper archive.