Model checking transactional memories Rachid GuerraouiThomas A. HenzingerVasu Singh OriginalPaper 01 December 2009 Pages: 129 - 145
Distributed algorithms for ultrasparse spanners and linear size skeletons Seth Pettie OriginalPaper 01 December 2009 Pages: 147 - 166
Broadcasting in UDG radio networks with missing and inaccurate information Emanuele G. FuscoAndrzej Pelc Original Paper 10 February 2010 Pages: 167 - 183
The k-simultaneous consensus problem Yehuda AfekEli GafniCorentin Travers OriginalPaper 03 November 2009 Pages: 185 - 195
On quorum systems for group resources allocation Yuh-Jzer Joung OriginalPaper 16 February 2010 Pages: 197 - 214