Common2 extended to stacks and unbounded concurrency Yehuda AfekEli GafniAdam Morrison OriginalPaper 08 May 2007 Pages: 239 - 252
Distributed verification of minimum spanning trees Amos KormanShay Kutten SPECIAL ISSUE PODC 06 15 May 2007 Pages: 253 - 266
Peer counting and sampling in overlay networks based on random walks A. J. GaneshA. -M. KermarrecL. Massoulié OriginalPaper 05 June 2007 Pages: 267 - 278
The computational power of population protocols Dana AngluinJames AspnesEric Ruppert OriginalPaper 23 August 2007 Pages: 279 - 304