Ioannis Chatzigiannakis, Othon Michail, Paul G. Spirakis. Algorithmic Verification of Population Protocols. In Shlomi Dolev, Jorge Arturo Cobb, Michael J. Fischer, Moti Yung, editors, Stabilization, Safety, and Security of Distributed Systems - 12th International Symposium, SSS 2010, New York, NY, USA, September 20-22, 2010. Proceedings. Volume 6366 of Lecture Notes in Computer Science, pages 221-235, Springer, 2010. [doi]
Abstract is missing.