Robert R. Fenichel
Massachusetts Institute of Technolgy, Cambridge
Algorithmic verification of population protocols
SSS'10 Proceedings of the 12th international conference on Stabilization, safety, and security of distributed systems